Completeness of Separation Logic with Inductive Definitions for Program Verification.
Makoto TatsutaWei-Ngan ChinPublished in: SEFM (2014)
Keyphrases
- deductive reasoning
- modal logic
- recursive programs
- logic programming
- functional programs
- classical logic
- automated reasoning
- multi valued
- logic based argumentation
- predicate logic
- inductive inference
- inductive learning
- data quality
- data mining
- fixed point semantics
- logic programs
- case study
- digital circuits
- knowledge representation
- inductive reasoning
- description logics
- genetic algorithm
- information systems
- dynamic logic
- program synthesis
- transformation rules
- defeasible logic
- logical framework
- probability theory