Axiomatic Definitions of Programming Languages: A Theoretical Assessment.
Albert R. MeyerJoseph Y. HalpernPublished in: J. ACM (1982)
Keyphrases
- programming language
- object oriented
- general purpose
- software engineering
- denotational semantics
- logic programming
- programming environment
- object oriented programming
- strongly typed
- computer programs
- high level
- concurrent programming
- database languages
- lambda calculus
- databases
- functional programming
- object oriented concepts
- database
- specification language