Sciweavers

7124 search results - page 1 / 1425
» Programming Languages and Operating Systems
Sort
View
ECOOPW
2004
Springer
13 years 10 months ago
Programming Languages and Operating Systems
This report summarizes the Fifth Workshop on Programming Languages and Operating Systems (PLOS 2009), which was held in conjunction with the SOSP 2009 conference. This report pres...
Olaf Spinczyk, Michael Schoettner, Andreas Gal
EPIA
2009
Springer
13 years 12 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
ASPLOS
1991
ACM
13 years 9 months ago
The Interaction of Architecture and Operating System Design
Thomas E. Anderson, Henry M. Levy, Brian N. Bersha...
ICFP
1999
ACM
13 years 9 months ago
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
Matthew Flatt, Robert Bruce Findler, Shriram Krish...