Effective programming language support for discrete-continuous mode-switching control systems.
Florence MaraninchiYann RémondÉric RuttenPublished in: CDC (2001)
Keyphrases
- programming language
- object oriented
- general purpose
- control system
- software engineering
- strongly typed
- high level
- logic programming
- object oriented programming
- specification language
- database languages
- abstract data types
- programming environment
- discrete space
- database language
- computer programs
- domain specific languages
- functional programming
- denotational semantics
- machine learning
- continuous domains
- programming tool
- functional language
- concurrent programming