Proving Program Inclusion Using Hoare's Logic.
Jan A. BergstraJan Willem KlopPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- multi valued
- logic programming
- declarative semantics
- program execution
- data sets
- automated reasoning
- information retrieval
- logical representation
- deontic logic
- programming environment
- modal logic
- programs written
- predicate logic
- static analysis
- logic programs
- object oriented
- expert systems
- multi agent
- database systems
- learning algorithm
- neural network