Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.

Cristina David Daniel Kroening Matt Lewis

Published in: CoRR (2014)

Keyphrases

propositional logic
data structure
first order logic
formal theory
automatic programming
loop formulas
computer programs
answer set programs
database systems
belief revision
answer sets
default logic
nuclear power plant
term rewriting