Satisfiability Modulo Recursive Programs.

Philippe Suter Ali Sinan Köksal Viktor Kuncak

Published in: SAS (2011)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
satisfiability problem
np complete
logic programming
phase transition
relational databases