7124 search results - page 9 / 1425 » Programming Languages and Operating Systems |
ASPLOS
2009
ACM
14 years 5 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
SIGOPSE
2004
ACM
14 years 4 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
LISP
2008
13 years 10 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
153
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
TOOLS
1992
IEEE
14 years 2 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...