Skip to main content
SpringerLink
Log in

The LOPS Approach: A Transformational Point of View

  • Chapter
Logic Program Synthesis and Transformation

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 46 Accesses

Abstract

Program synthesis can be seen from different points of view. One possibility is the proof-based synthesis like the classical [5]. Another one is the transformational synthesis in the spirit of [4].

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

References

  1. Wolfgang Bibel. Syntax-directed, semantics-supported program synthesis. Artificial Intelligence, 14: 243 - 261, 1980.

    Article  Google Scholar 

  2. Wolfgang Bibel. Concurrent software production. In Michael R. Lowry and Robert McCartney, editors, Automating Software Design. AAAI Press, Menlo Park CA, 1991.

    Google Scholar 

  3. Wolfgang Bibel and K.M. Hôrnig. LOPS — A system based on a strategical approach to program synthesis. In Alan W. Biermann, Gerard Guiho, and Yves Kodratoff, editors, Automatic Program Construction Techniques, chapter 3, pages 69 - 89. MacMillan, New York, 1984.

    Google Scholar 

  4. R.M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24 (l): 44 - 67, 1977.

    Article  MathSciNet  MATH  Google Scholar 

  5. Zohar Manna and Richard J. Waldinger. Synthesis: Dreams ⇒ programs. IEEE Transactions on Software Engeneering, SE-5(4): 294 - 328, July 1979.

    MATH  Google Scholar 

  6. Gerd Neugebauer. Pragmatische Programmsynthese. DISKI. Infix Verlag, 1992. To appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intellektik, Informatik, Technische Hochschule Darmstadt, D-6100, Darmstadt, Germany

    Gerd Neugebauer

Authors
  1. Gerd Neugebauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University, M13 9PL, Manchester, UK

    Kung-Kiu Lau Bsc, PhD  & Timothy Paul Clement Ma, DPhil  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London

About this chapter

Cite this chapter

Neugebauer, G. (1993). The LOPS Approach: A Transformational Point of View. In: Lau, KK., Clement, T.P. (eds) Logic Program Synthesis and Transformation. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3560-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3560-9_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19806-2

  • Online ISBN: 978-1-4471-3560-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation