Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.
Alan BurnsPublished in: Ada-Europe (2016)
Keyphrases
- expressive power
- programming language
- cyber physical systems
- query language
- object oriented
- first order logic
- general purpose
- denotational semantics
- software engineering
- lambda calculus
- logic programming
- relational algebra
- high level
- transitive closure
- relational calculus
- recursive queries
- functional programming
- data management
- physical world
- information systems
- data model
- database query languages
- data mining