Formal Mathematics for Verifiably Correct Program Synthesis.

Christoph Kreitz

Published in: Log. J. IGPL (1996)

Keyphrases

program synthesis
recursive programs
context aware
inductive logic programming
database
learning algorithm
active learning
np complete
formal model