NTRS - NASA Technical Reports Server

Back to Results
adding concrete syntax to a prolog-based program synthesis systemProgram generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.
Document ID
Document Type
Conference Paper
Fischer, Bernd
(Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Visser, Eelco
(Utrecht Univ. Utrecht, Netherlands)
Date Acquired
September 7, 2013
Publication Date
August 25, 2003
Subject Category
Computer Programming and Software
Meeting Information
Logic-Based Program Synthesis and Transformation (LOPSTR) 2003(Uppsala)
Distribution Limits
Public Use Permitted.

Available Downloads

NameType 20030107525.pdf STI