An axiomatic definition of the programming language PASCAL.
C. A. R. HoarePublished in: International Sympoisum on Theoretical Programming (1972)
Keyphrases
- programming language
- general purpose
- object oriented
- specification language
- software engineering
- high level
- programming environment
- database languages
- strongly typed
- object oriented concepts
- logic programming
- object oriented programming
- functional programming
- database language
- integrity constraints
- functional language
- concurrent programming
- fluent calculus