Semi-automatic Proofs about Object Graphs in Separation Logic.
Holger GastPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- semi automatic
- fully automatic
- gold standard
- domain ontology
- cut elimination
- natural deduction
- semi automatically
- linear logic
- semantic annotation
- wrapper generation
- d objects
- design rationale
- labor intensive
- modal logic
- proof search
- expert systems
- theorem prover
- ontology mapping
- ontology construction
- data objects
- knowledge base