AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.

Michael W. Whalen Johann Schumann Bernd Fischer

Published in: CADE (2002)

Keyphrases

program synthesis
high level
recursive programs
information retrieval
source code
relational databases
general purpose
co occurrence
software systems
cellular automata
third party