Lecture Notes in Computer Science, 2004, Volume 3018/2004, 56-58, DOI: 10.1007/978-3-540-25938-1_5

Adding Concrete Syntax to a Prolog-Based Program Synthesis System
(Extended Abstract)

Bernd Fischer and Eelco Visser

View Related Documents

Abstract

Program generation and transformation systems work on two language levels, the object-level (i.e., the language of the manipulated programs), and the meta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance between the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax using the approach outlined in [5], thus shrinking this distance.

Fulltext Preview

Image of the first page of the fulltext document