A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Werner DammBernhard JoskoPublished in: Acta Informatica (1983)
Keyphrases
- strongly typed
- logic programming
- programming language
- type checking
- formal language
- logic programming language
- declarative semantics
- dynamic logic
- classical logic
- proof theory
- formal theory
- language processing
- formal logic
- natural language
- predicate calculus
- specification language
- language learning
- agent programming
- highly expressive
- operational semantics
- linear temporal logic
- concurrent programming
- order sorted
- propositional dynamic logic
- propositional variables
- belief revision
- programs written
- database programming language
- logical framework
- mathematical theory
- defeasible logic