Skip to main content
SpringerLink
Log in

Computer-based synthesis of logic programs

  • Conference paper
  • First Online:
International Symposium on Programming (Programming 1982)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 137))

Included in the following conference series:

This work is supported by the National Swedish Board for Technical Development (STU)

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Keith Clark and John Darlington. Algorithm Classification through Synthesis. Computer Journal, No 1, 1980.

    Google Scholar 

  2. Keith Clark and Sten-Ake Tarnlund. A First Order Theory of Data and Programs. Proceedings IFIP-77, Toronto, 1977.

    Google Scholar 

  3. Ake Hansson and Sten-Ake Tarnlund. A Natural Programming Calculus. Proceedings IJCAI-79, Tokyo, 1979.

    Google Scholar 

  4. Ake Hansson and Sten-Ake Tarnlund. Derivations of Programs in a Natural Programming Calculus. Proceedings Electrotechnical Laboratory, Tokyo, 1979.

    Google Scholar 

  5. Ake Hansson. A Formal Development of Programs. Department of Information Processing and Computer Science, 1980.

    Google Scholar 

  6. C. J. Hogger. Derivation of Logic Programs. JACM, Vol 28, No 2:372–392, 1981.

    Google Scholar 

  7. Robert Kowalski. Logic for Problem Solving. Elsevier North Holland, 1979.

    Google Scholar 

  8. Zohar Manna and Richard Waldinger. A Deductive Approach to Program Synthesis. SRI International, Menlo Park, California, 1978.

    Google Scholar 

  9. Luis Moniz Pereira, Fernando Pereira and David Warren. User's Guide to DecSystem-10 PROLOG. Department of Artificial Intelligence, University of Edinburgh, 1978.

    Google Scholar 

  10. Dag Prawitz. Natural Deduction. Almqvist & Wiksell, Stockholm, 1965.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. UPMAIL Computing Science Department, Uppsala University, Sweden

    Agneta Eriksson & Anna-Lena Johansson

Authors
  1. Agneta Eriksson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Anna-Lena Johansson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mariangiola Dezani-Ciancaglini Ugo Montanari

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eriksson, A., Johansson, AL. (1982). Computer-based synthesis of logic programs. In: Dezani-Ciancaglini, M., Montanari, U. (eds) International Symposium on Programming. Programming 1982. Lecture Notes in Computer Science, vol 137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11494-7_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-11494-7_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11494-9

  • Online ISBN: 978-3-540-39184-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation