Retrofitting The Auto Bayes Program Synthesis System With Concrete Syntax
and E. Visser.
Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax.
In C. Lengauer et al., editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 239--253. Spinger-Verlag, 2004.
is a fully automatic, schema-based program synthesis system
for statistical data analysis applications. Its core component is
a schema library, i.e., a collection of generic code templates
with associated applicability constraints
which are instantiated in a problem-specific way during synthesis.
is implemented in Prolog; the schemas thus use
abstract syntax (i.e., Prolog terms) to formulate the templates.
However, the conceptual distance between this abstract representation
and the concrete syntax of the generated programs makes the
schemas hard to create and maintain.
In this paper we describe how AutoBayes
is retrofitted with concrete
syntax. We show how it is integrated into Prolog and describe how the
seamless interaction of concrete syntax fragments with AutoBayes
``legacy'' meta-programming kernel based on abstract syntax is
achieved. We apply the approach to gradually migrate individual
schemas without forcing a disruptive migration of the entire system to
a different meta-programming language. First experiences show that a
smooth migration can be achieved. Moreover, it can result in a
considerable reduction of the code size and improved readability of
the code. In particular, abstracting out fresh-variable generation
and second-order term construction allows the formulation of larger