| タイトル | Adding Concrete Syntax to a Prolog-Based Program Synthesis System |
| 本文（外部サイト） | http://hdl.handle.net/2060/20030107525 |
| 著者（英） | Fischer, Bernd; Visser, Eelco |
| 発行日 | 2003-08-25 |
| 言語 | eng |
| 内容記述 | Program 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. |
| NASA分類 | Computer Programming and Software |
| 権利 | Copyright, Distribution as joint owner in the copyright |
