Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).
Christian W. ProbstAndreas GalRobert GrimmOlaf SpinczykPublished in: PLOS (2006)
Keyphrases
- operating system
- programming language
- multi tasking
- computer systems
- object oriented
- general purpose
- software engineering
- virtual machine
- high level
- denotational semantics
- programs written
- abstract data types
- windows xp
- programming environment
- distributed systems
- strongly typed
- memory management
- lambda calculus
- application programs
- databases
- windows nt
- end users