A typed assembly language for real-time programs.
Thomas A. HenzingerChristoph M. KirschPublished in: EMSOFT (2004)
Keyphrases
- real time
- control structures
- computer programs
- lambda calculus
- agent programming
- programming environment
- higher order
- programming language
- intermediate level
- low cost
- high speed
- control system
- object oriented languages
- error handling
- language learning
- real time systems
- knowledge representation
- logic programming language
- natural language
- database systems
- database languages
- neural network