4386 search results - page 115 / 878 » A Tamper-Resistant Programming Language System |
135
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...
144
click to vote
HOPL
2007
15 years 10 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
145
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
133
click to vote
SMALLTALK
2007
Springer
16 years 11 days ago
2007
Springer
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A ï¬...
182
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...