XPRTS - an implementation tool for program synthesis.

Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz.

In D. Metzing, ed., 13th German Workshop on Artificial Intelligence,
Informatik Fachberichte 216, pp. 348-357, Springer Verlag, 1989.


Abstract

The paper presents first results of the reimplementation of LOPS, an approach in the field of program synthesis. To this end a general development system, called XPRTS, has been designed and implemented. We will describe its architecture and programing model. On this basis, the reconstruction of LOPS has already yielded first results. The leading idea is an implementation of strategies and heuristics on several layers of abstraction. A glance at this implementation work also shows how XPRTS is used.


Not available online   Send an email to to receive a hard copy BACK
Back to overview of papers


Bibtex Entry

@InProceedings{inp:NeugebauerFronhoeferKreitz89a, author = "Gerd Neugebauer and Bertram Fronh{\"o}fer and Christoph Kreitz", title = "{XPRTS} - An implementation tool for program synthesis", booktitle = "GWAI-89 -- 13$^{th}$ German Workshop on Artificial Intelligence", year = 1989, pages = "348--357", editor = "D. Metzing", series = "Informatik Fachberichte", volume = 216 publisher = "Springer Verlag", }