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 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.
Keywords
This work has been funded by ESPRIT and DFG
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
F.L. Bauer and H. Wössner. Algorithmic Language and Program Development. Springer Verlag, New York (1982)
W. Bibel. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14 (1980), 243–261
W. Bibel and K.M. Hörnig. LOPS - A System Based On a Strategical Approach to Program Synthesis, in: Alan W. Biermann and Gerard Guiho and Yves Kodratoff (eds.), Automatic Program Construction Techniques. Macmillan Publ. Comp., New York 1984, 69–89.
R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J.ACM 24 (1975), pp. 44–67
M. Franova. Proving Theorems by Construction of Valid Formulae, in H.J. Kugler (ed.): Information Processing 86, pp. 41–47, North Holland, Amsterdam 1986
B. Fronhöfer. Heuristics for Recursion Improvement, in T. O’Shea (ed.): ECAI-84. 6th European Conference on Artificial Intelligence, pp. 577–580, North Holland, Amsterdam 1984.
B. Fronhöfer. The LOPS-Approach: Towards New Syntheses of Algorithms, in: H. Trost and J. Retti (eds.), Österreichische Artificial Intelligence Tagung. Springer, Berlin 1985, 164–172.
C.J. Hogger. Derivation of Logic Programs. Journal ACM 28 (1981), 372–392
Z. Manna and R. Waldinger A Deductive Approach tp Program Synthesis. ACM Transactions on Programming Languages and Systems 2 (1) (1980), pp. 90–121.
G. Neugebauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Technische Universität München 1986, Report ATP-56-III-86
G. Neugebauer. Users Manual for XPRTS. Technische Universität München 1987, Report ATP-78-IX-87
D.R. Smith. KIDS - A Knowledge-Based Software Development System, in: Proceedings of the Workshop on Automating Software Design, AAAI-88, 182–189
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neugebauer, G., Fronhöfer, B., Kreitz, C. (1989). XPRTS An Implementation Tool for Program Synthesis. In: Metzing, D. (eds) GWAI-89 13th German Workshop on Artificial Intelligence. Informatik-Fachberichte, vol 216. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75100-4_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-75100-4_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51743-6
Online ISBN: 978-3-642-75100-4
eBook Packages: Springer Book Archive