Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages
Andreas GoerdtPublished in: LICS (1987)
Keyphrases
- logic programming
- lambda calculus
- predicate logic
- asynchronous circuits
- expressive power
- modal logic
- automated reasoning
- classical logic
- formal language
- logic programs
- multi valued
- logical framework
- deontic logic
- mathematical theory
- nonmonotonic logics
- computational properties
- data sets
- object oriented
- search engine
- databases