A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs.
Jesse D. BinghamZvonimir RakamaricPublished in: VMCAI (2006)
Keyphrases
- data structure
- decision making
- dynamic logic
- hardware designs
- decision rules
- first order logic
- functional programs
- knowledge base
- decision problems
- bounded model checking
- declarative semantics
- high level
- proof procedure
- predicate logic
- operational semantics
- data sets
- recursive programs
- agent programming
- predicate calculus
- decision processes
- computational properties
- iterative procedure
- multi valued
- theorem proving
- modal logic
- logic programming
- decision makers