Next: TR 89-06

Intellektik: Technical report 89-04

XPRTS --- an implementation tool for program synthesis

Gerd Neugebauer and Bertram Fronhöfer and Christoph Kreitz

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 programming 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.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry