Keyphrases
- operating system
- programming language
- lecture notes
- computer science
- selected papers
- international workshop
- object oriented
- computer systems
- general purpose
- virtual machine
- strongly typed
- artificial intelligence
- database languages
- programming environment
- software engineering
- high level
- denotational semantics
- machine learning
- lambda calculus
- memory management
- windows xp
- distributed systems
- application programs
- multi threaded
- programs written
- abstract data types
- information systems