Skip to main content
SpringerLink
Log in

Set constraints and logic programming

  • Conference paper
  • First Online:
Constraints in Computational Logics (CCL 1994)

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

Included in the following conference series:

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. A. Aiken, D. Kozen, and E. Wevimers, Decidability of systems of set constraints with negative constraints, Tech. Rep. 93-1362, Computer Science Department, Cornell University, June 1993.

    Google Scholar 

  2. A. Aiken and B. Murphy, Implementing regular tree expressions, in Proc. 1991 Conf. Functional Programming Languages and Computer Architecture, August 1991, pp. 427–447.

    Google Scholar 

  3. A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi, Embedding finite sets in a logic programming language, in Proc. 3rd Int. Workshop Extensions of Logic Programming (ELP'92), E. Lamma and P. Mello, eds., vol. 660 of Lect. Notes Artificial Intell., Springer, February 1992, pp. 150–167.

    Google Scholar 

  4. N. Heintze, Set Based Program Analysis, PhD thesis, Carnegie Mellon University, 1993.

    Google Scholar 

  5. N. Heintze and J. Jaffar, A finite presentation theorem for approximating logic programs, in Proc. 17th Symp. Principles of Programming Languages, ACM, January 1990, pp. 197–209.

    Google Scholar 

  6. J. Jaffar and J.-L. Lassez, Constraint logic programming, in Proc. Symp. Principles of Programming Languages (POPL) 1987, ACM, January 1987, pp. 111–119.

    Google Scholar 

  7. B. Jayaraman and D. A. Plaisted, Programming with equations, subsets, and relations, in Proc. North Amer. Conf. Logic Programming 1989, E. L. Lusk and R. A. Overbeek, eds., vol. 2, MIT Press, 1989, pp. 1051–1068.

    Google Scholar 

  8. N. D. Jones and S. S. Muchnick, Flow analysis and optimization of LISP-like structures, in Proc. 6th Symp. Principles of Programming Languages, ACM, January 1979, pp. 244–256.

    Google Scholar 

  9. D. Kozen, Logical aspects of set constraints, in Proc. 1993 Conf. Computer Science Logic (CSL'93), Eur. Assoc. Comput. Sci. Logic, September 1993. To appear. Also, Cornell University tech. report 94-1421, May 1994.

    Google Scholar 

  10. G. M. Kuper, Logic programming with sets, in Proc. Symp. Principles of Database Systems (PODS) 1987, ACM, 1987, pp. 11–20.

    Google Scholar 

  11. P. Mishra, Towards a theory of types in PROLOG, in Proc. 1st Symp. Logic Programming, IEEE, 1984, pp. 289–298.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Cornell University, 14853, Ithaca, New York, USA

    Dexter Kozen

Authors
  1. Dexter Kozen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jean-Pierre Jouannaud

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kozen, D. (1994). Set constraints and logic programming. In: Jouannaud, JP. (eds) Constraints in Computational Logics. CCL 1994. Lecture Notes in Computer Science, vol 845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016861

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48699-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation