Computer-based synthesis of logic programs

  • Agneta Eriksson
  • Anna-Lena Johansson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. (1).
    Keith Clark and John Darlington. Algorithm Classification through Synthesis. Computer Journal, No 1, 1980.Google Scholar
  2. (2).
    Keith Clark and Sten-Ake Tarnlund. A First Order Theory of Data and Programs. Proceedings IFIP-77, Toronto, 1977.Google Scholar
  3. (3).
    Ake Hansson and Sten-Ake Tarnlund. A Natural Programming Calculus. Proceedings IJCAI-79, Tokyo, 1979.Google Scholar
  4. (4).
    Ake Hansson and Sten-Ake Tarnlund. Derivations of Programs in a Natural Programming Calculus. Proceedings Electrotechnical Laboratory, Tokyo, 1979.Google Scholar
  5. (5).
    Ake Hansson. A Formal Development of Programs. Department of Information Processing and Computer Science, 1980.Google Scholar
  6. (6).
    C. J. Hogger. Derivation of Logic Programs. JACM, Vol 28, No 2:372–392, 1981.Google Scholar
  7. (7).
    Robert Kowalski. Logic for Problem Solving. Elsevier North Holland, 1979.Google Scholar
  8. (8).
    Zohar Manna and Richard Waldinger. A Deductive Approach to Program Synthesis. SRI International, Menlo Park, California, 1978.Google Scholar
  9. (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. (10).
    Dag Prawitz. Natural Deduction. Almqvist & Wiksell, Stockholm, 1965.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Agneta Eriksson
    • 1
  • Anna-Lena Johansson
    • 1
  1. 1.UPMAIL Computing Science DepartmentUppsala UniversitySweden

Personalised recommendations