XPRTS - An Implementation Tool for Program Synthesis.

Gerd Neugebauer Bertram Fronhöfer Christoph Kreitz

Published in: GWAI (1989)

Keyphrases

program synthesis
bayesian framework
software tools
recursive programs