Precedences in Specifications and Implementations of Programming Languages.
Annika AasaPublished in: PLILP (1991)
Keyphrases
- programming language
- specification language
- high level
- general purpose
- object oriented
- partial order
- strongly typed
- logic programming
- database languages
- control flow
- programming environment
- formal specification
- software engineering
- denotational semantics
- functional language
- object oriented programming
- lambda calculus
- high level programming language
- operational semantics
- data abstraction
- functional programming
- higher order
- program code
- data model
- relational databases
- programming paradigms
- artificial intelligence
- databases
- database