PLOS 2009: fifth workshop on programming languages and operating systems.
Eric EideGilles MullerOlaf SpinczykPublished in: ACM SIGOPS Oper. Syst. Rev. (2009)
Keyphrases
- operating system
- programming language
- computer systems
- lambda calculus
- object oriented
- denotational semantics
- general purpose
- high level
- virtual machine
- strongly typed
- software engineering
- database languages
- programming environment
- distributed systems
- windows xp
- data processing
- software systems
- abstract data types
- memory management
- multi threaded