Skip to main content
SpringerLink
Log in

Program analysis in λprolog

  • Conference paper
  • First Online:
Book cover Principles of Declarative Programming (ALP 1998, PLILP 1998)

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

  • 101 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. John Hannan. Investigating a Proof-Theoretic Meta-Language for Functional Programs. PhD thesis, University of Pennsylvania, January 1991. Available as MSCIS-91-09.

    Google Scholar 

  2. John Hannan. Implementing λ-calculus reduction strategies in extended logic programming languages. In L. Hallnäs, editor, Proceedings of the Second Workshop on Extensions to Logic Programming, pages 193–219. Springer-Verlag LNCS 596, 1992.

    Google Scholar 

  3. John Hannan. Extended natural semantics. Journal of Functional Programming, 3(2):123–152, 1993.

    Article  MathSciNet  Google Scholar 

  4. John Hannan and Patrick Hicks. Higher-order unCurrying. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1–11, January 1998.

    Google Scholar 

  5. John Hannan and Dale Miller. A meta-logic for functional programming. In H. Abramson and M. Rogers, editors, Meta-Programming in Logic Programming, chapter 24, pages 453–476. MIT Press, 1989.

    Google Scholar 

  6. Dale Miller. A logic programming language with lambda-abstraction, function variables, and simple unification. Journal of Logic and Computation, 1(4):497–536, 1991.

    MATH  MathSciNet  Google Scholar 

  7. Dale Miller and Gopalan Nadathur. A logic programming approach to manipulating formulas and programs. In Proceedings of the IEEE Fourth Symposium on Logic Programming, pages 379–388. IEEE Press, 1987.

    Google Scholar 

  8. Gopalan Nadathur and Dale Miller. An overview of λProlog. In K. Bowen and R. Kowalski, editors, Fifth International Conference and Symposium on Logic Programming, pages 810–827. MIT Press, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, The Pennsylvania State University, 16802, University Park, PA, USA

    John Hannan

Authors
  1. John Hannan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Catuscia Palamidessi Hugh Glaser Karl Meinke

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hannan, J. (1998). Program analysis in λprolog. In: Palamidessi, C., Glaser, H., Meinke, K. (eds) Principles of Declarative Programming. ALP PLILP 1998 1998. Lecture Notes in Computer Science, vol 1490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0056625

Download citation

  • DOI: https://doi.org/10.1007/BFb0056625

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65012-6

  • Online ISBN: 978-3-540-49766-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation