How to Cook a Complete Hoare Logic for Your Pet OO Language.
Frank S. de BoerCees PierikPublished in: FMCO (2003)
Keyphrases
- programming language
- object oriented
- dynamic logic
- formal language
- language learning
- conditional logic
- order sorted
- intuitionistic logic
- formal logic
- proof theory
- image reconstruction
- logic programming
- general purpose
- classical logic
- operational semantics
- linear temporal logic
- predicate calculus
- formal theory
- modal operators
- agent programming
- natural language
- object oriented programming
- relational databases
- programs written
- closed world
- highly expressive
- database schema
- information systems
- conceptual modeling
- conceptual models