Login / Signup
Modular Verification of Recursive Programs
Krzysztof R. Apt
Frank S. de Boer
Ernst-Rüdiger Olderog
Published in:
CoRR (2009)
Keyphrases
</>
recursive programs
program synthesis
logic programs
transformation rules
model checking
data driven
machine learning
database systems
data structure