Proving termination of imperative programs using Max-SMT.

Daniel Larraz Albert Oliveras Enric Rodríguez-Carbonell Albert Rubio

Published in: FMCAD (2013)

Keyphrases

imperative programs
term rewrite systems
dynamic logic
statistical machine translation
rewrite rules
rewrite systems
management system
plan execution
term rewriting
general purpose
context aware
modal logic
word alignment