The AutoBayes Program Synthesis System - System Description -

Autobayes is a fully automatic program synthesis system for the statistical data analysis domain. Its input is a concise description of a data analysis problem in the form of a statistical model; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Autobayes synthesizes code by a schema-guided deductive process. Schemas (\ie code templates with associated semantic constraints) are applied to the original problem and recursively to emerging subproblems. \AB\ complements this approach by symbolic computation to derive closed-form solutions whenever possible. In this paper, we concentrate on the interaction between the symbolic computations and the deductive synthesis process.