Login / Signup
A decidable class of verification conditions for programs with higher order store.
Nathaniel Charlton
Bernhard Reus
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
</>
higher order
function symbols
high order
sufficient conditions
natural images
pairwise
computer programs
multi class classification
symbolic execution
decision trees
multi class
markov random field
logic programs
answer sets
hardware designs