NASA Technical Reports Server (NTRS) 20040082055: Retrofitting the AutoBayes Program Synthesis System with Concrete SyntaxReport as inadecuate




NASA Technical Reports Server (NTRS) 20040082055: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: NASA Technical Reports Server (NTRS) 20040082055: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
AutoBayes 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. Currently, AutoBayes is implemented in Pro

Author: NASA Technical Reports Server (NTRS)

Source: https://archive.org/


Teaser



Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax Bernd Fischer Eelco Visser Technical Report UU-CS-2004-012 Institute of Information and Computing Sciences Utrecht University To appear as B.
Fischer and E.
Visser.
Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax In Lengauer et al., editors, Domain-Specific Program Generation, Lecture Notes in Computer Science.
Spinger-Verlag, 2004. see also http:--wv.stratego-language.org-Stratego-PrologTools Copyright @ 2004 Bernd Fischer, Eelco Visser ISSN 0924-3275 Address: Beiiid Fischei RIACS I NASA Ames Research Center Moffett Field, CA 94035, USA fisch0emdil.arc.nasa.gov -__- _.___ Eelco Visser Institute of M o m t i o n and Computing Sciences Utrecht University P.O.Box 80089 3508 TI3 Utrecht visser0acm.org http:--VVU.CS.llu.--pTop-FisiF -~ -_ ~ ~ - - Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax Bernd Fischer’ and Eelco Visser2 RtACS I NASA Ames Research Center, Moffett Field, CA 94035, USA fischQemail.arc.nasa.gov Institute of Information and Computing Sciences, Universiteit Utrecht 3508 TE3 Etrecht, The Xetherlands, vissercacm.
org Abstract.
AUTOBAYES is a fully automatic, schema-based program synthesis system for statistical data analysis applications.
Its core component is a schema library.
Le., 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 Currently, ALTOBAYES syntax (Le., Prolog terms) to formulate the templates.
However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schernas 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 interactionof concrete syntax fragments with A...






Related documents