Definitional interpreters for higher-order programming languages.
John C. ReynoldsPublished in: ACM Annual Conference (2) (1972)
Keyphrases
- programming language
- higher order
- lambda calculus
- object oriented
- general purpose
- programs written
- high level
- denotational semantics
- pairwise
- strongly typed
- object oriented programming
- software engineering
- logic programming
- data abstraction
- description language
- programming environment
- databases
- specification language
- computer programs
- virtual machine
- functional programming
- database languages
- predicate calculus
- object oriented databases
- concurrent programming
- semantic network