Giotto: a time-triggered language for embedded programming.
Thomas A. HenzingerBenjamin HorowitzChristoph M. KirschPublished in: Proc. IEEE (2003)
Keyphrases
- programming language
- object oriented programming
- programming environment
- oriented programming
- language learning
- scripting language
- functional language
- natural language
- software engineering
- java programming
- embedded systems
- open source
- computer programs
- general purpose
- object oriented
- artificial intelligence
- concurrent programming
- modeling language
- programming environments
- constraint logic programming
- exception handling
- english language
- development environment
- conceptual graphs
- data sets
- context dependent
- first order logic
- high level
- case study
- databases