A Typed Compositional Language for Real-Time Systems.
Jean-Paul EtienneSamia BouzefranePublished in: HASE (2007)
Keyphrases
- real time systems
- object oriented programming language
- real time
- lambda calculus
- distributed systems
- programming language
- real time database systems
- embedded systems
- natural language
- higher order
- timing constraints
- mission critical
- low cost
- embedded real time systems
- anytime algorithms
- object oriented
- relational databases
- artificial intelligence