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