A Critique of the Foundations of Hoare-Style Programming Logics.
Michael J. O'DonnellPublished in: Logic of Programs (1981)
Keyphrases
- programming language
- expressive power
- artificial intelligence
- object oriented programming
- high level language
- development environment
- modal logic
- data mining
- website
- computer programming
- programming environment
- database
- search algorithm
- general purpose
- social networks
- learning algorithm
- databases
- data sets
- programming course
- programming environments