Auto Bayes

Stratego -- Strategies for Program Transformation
AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for schemas used in synthesis and (2) to optimize synthesized programs.