Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic.
Wolfgang NaraschewskiMarkus WenzelPublished in: TPHOLs (1998)
Keyphrases
- higher order logic
- object oriented
- higher order
- theorem prover
- conditional logic
- logical framework
- relational databases
- programming language
- data model
- model checking
- object oriented databases
- database
- default reasoning
- query language
- software engineering
- first order logic
- data representation
- modal logic
- feature extraction
- machine learning