Skip to main content
SpringerLink
Log in

Specifications using multiple-conclusion logic programs

Abstract of lecture

  • Invited Talks
  • Conference paper
  • First Online:
Algebraic and Logic Programming (ALP 1994)

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

Included in the following conference series:

  • 130 Accesses

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

References

  1. J.M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9:3–4, 1991.

    Google Scholar 

  2. J-P. Banâtre, A. Coutant, and D. Le Metayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4(2):133–145, 1988.

    Google Scholar 

  3. G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the 17th Annual Symposium of Programming Languages, pages 81–94, 1990.

    Google Scholar 

  4. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

    Google Scholar 

  5. Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Journal of Information and Computation, 1994. (To appear). Available from ftp.cis.upenn.edu, pub/papers/miller/ic94.ps.Z.

    Google Scholar 

  6. Naoki Kobayashi and Akinori Yonezawa. ACL — a concurrent linear logic programming paradigm. In Dale Miller, editor, Logic Programming — Proceedings of the 1993 International Symposium, pages 279–294. MIT Press, October 1993.

    Google Scholar 

  7. Dale Miller. A multiple-conclusion meta-logic. In S. Abramsky, editor, Ninth Annual Symposium on Logic in Computer Science, Paris, July 1994. (To appear). Available from ftp.cis.upenn.edu, pub/papers/miller/lics94.dvi.Z.

    Google Scholar 

  8. Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125–157, 1991.

    Google Scholar 

  9. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, Part I. Information and Computation, pages 1–40, September 1992.

    Google Scholar 

  10. Gopalan Nadathur and Dale Miller. An Overview of λProlog. In Fifth International Logic Programming Conference, pages 810–827, Seattle, Washington, August 1988. MIT Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Pennsylvania, 19104-6389, Philadelphia, PA, USA

    Dale Miller

Authors
  1. Dale Miller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio Levi Mario Rodríguez-Artalejo

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag

About this paper

Cite this paper

Miller, D. (1994). Specifications using multiple-conclusion logic programs. In: Levi, G., Rodríguez-Artalejo, M. (eds) Algebraic and Logic Programming. ALP 1994. Lecture Notes in Computer Science, vol 850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58431-5_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-58431-5_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58431-5

  • Online ISBN: 978-3-540-48791-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation