Separation logic, abstraction and inheritance.
Matthew J. ParkinsonGavin M. BiermanPublished in: POPL (2008)
Keyphrases
- knowledge representation
- predicate logic
- high level
- logic programming
- modal logic
- bounded model checking
- classical logic
- database
- information systems
- object oriented
- proof theory
- formal theory
- defeasible logic
- logical framework
- multi valued
- default reasoning
- object oriented databases
- state space
- inheritance reasoning
- computational properties
- neural network