Skip to main content
SpringerLink
Log in

XPRTS An Implementation Tool for Program Synthesis

  • Conference paper
GWAI-89 13th German Workshop on Artificial Intelligence

Part of the book series: Informatik-Fachberichte ((2252,volume 216))

  • 114 Accesses

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.

This work has been funded by ESPRIT and DFG

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F.L. Bauer and H. Wössner. Algorithmic Language and Program Development. Springer Verlag, New York (1982)

    MATH  Google Scholar 

  2. W. Bibel. Syntax-Directed, Semantics-Supported Program Synthesis. Artificial Intelligence 14 (1980), 243–261

    Article  Google Scholar 

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

    Google Scholar 

  4. R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J.ACM 24 (1975), pp. 44–67

    Article  MathSciNet  Google Scholar 

  5. M. Franova. Proving Theorems by Construction of Valid Formulae, in H.J. Kugler (ed.): Information Processing 86, pp. 41–47, North Holland, Amsterdam 1986

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. C.J. Hogger. Derivation of Logic Programs. Journal ACM 28 (1981), 372–392

    Article  MathSciNet  MATH  Google Scholar 

  9. Z. Manna and R. Waldinger A Deductive Approach tp Program Synthesis. ACM Transactions on Programming Languages and Systems 2 (1) (1980), pp. 90–121.

    Google Scholar 

  10. G. Neugebauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Technische Universität München 1986, Report ATP-56-III-86

    Google Scholar 

  11. G. Neugebauer. Users Manual for XPRTS. Technische Universität München 1987, Report ATP-78-IX-87

    Google Scholar 

  12. D.R. Smith. KIDS - A Knowledge-Based Software Development System, in: Proceedings of the Workshop on Automating Software Design, AAAI-88, 182–189

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FG Intellektik, Technische Hochschule Darmstadt, Alexanderstr. 10, D-6100, Darmstadt, Germany

    Gerd Neugebauer & Christoph Kreitz

  2. FB Informatik, Technische Hochschule Darmstadt, Alexanderstr. 10, D-6100, Darmstadt, Germany

    Gerd Neugebauer & Christoph Kreitz

  3. Institut für Informatik, Technische Universität München, Arcisstr. 21, Postfach 202420, D-8000, München 2, Germany

    Bertram Fronhöfer

Authors
  1. Gerd Neugebauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bertram Fronhöfer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Kreitz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computerlinguistik, Universität Bielefeld, Postfach 8640, D-4800, Bielefeld 1, Germany

    Dieter Metzing

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation