Modular Verification of Recursive Programs.

Krzysztof R. Apt Frank S. de Boer Ernst-Rüdiger Olderog

Published in: Languages: From Formal to Natural (2009)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
model checking
management system
relational databases
logic programming