… AUTOBAYES is a fully automatic, schema-based program synthesis system …. Currently, AUTOBAYE S is implemented in Prolog; the schemas thus use abstract … we describe how AUTOBAYE S is retrofitted with concrete syn- tax. We show how …
Dagstuhl 2004: 239-253 [doi]… …
LOPSTR 2004: 56-58 [doi]