Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
José Luiz FiadeiroCristina SernadasT. S. E. MaibaumGunter SaakePublished in: DS-4 (1990)
Keyphrases
- proof theoretic
- object oriented
- model theoretic
- proof theory
- operational semantics
- default reasoning
- linear logic
- nonmonotonic reasoning
- object oriented data models
- fixpoint
- definition language
- constraint logic programming
- deductive databases
- data model
- relational databases
- description logics
- database schema
- decision procedures
- conceptual model
- programming language
- conceptual models
- high level
- automated reasoning
- logic programming
- formal semantics
- belief revision
- query language
- sql queries
- logic programs
- software engineering
- knowledge representation
- cut elimination
- databases