Algorithmic Program Synthesis with Partial Programs and Decision Procedures.

Rastislav Bodík

Published in: SAS (2009)

Keyphrases

program synthesis
decision procedures
recursive programs
modal logic
theorem proving
automated reasoning
fixpoint
conjunctive queries
logic programs
databases
domain knowledge
satisfiability problem