On the Formalization of Programming Languages: Early History and Main Approaches.
Peter LucasPublished in: The Vienna Development Method: The Meta-Language (1978)
Keyphrases
- programming language
- object oriented
- denotational semantics
- general purpose
- high level
- programming environment
- software engineering
- database languages
- operational semantics
- formal model
- strongly typed
- knowledge representation
- object oriented programming
- specification language
- computer programs
- logic programming
- data abstraction
- lambda calculus
- concurrent programming
- high level programming language
- databases