Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.

Markus Aderhold

Published in: IJCAR (2010)

Keyphrases

functional programs
program synthesis
recursive programs
functional language
semi automated
logic programs
higher order
fully automated
inductive learning
complex objects
answer sets
automated analysis
deductive databases
computer programs
stable models
automatic programming
high order
semi automatic
data sets