A Critique of the Foundations of Hoare Style Programming Logics.
Michael J. O'DonnellPublished in: Commun. ACM (1982)
Keyphrases
- programming language
- programming environment
- expressive power
- artificial intelligence
- programming environments
- object oriented programming
- proof theory
- real time
- computer programming
- default logic
- high level language
- programming concepts
- development environment
- inference rules
- modal logic
- general purpose
- search engine
- neural network