Concurrent constraint programming based on functional programming

Extended abstract
  • Gert Smolka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1381)


  1. 1.
    M. Henz. Objects for Concurrent Constraint Programming. Kluwer Academic Publishers, Boston, Nov. 1997.Google Scholar
  2. 2.
    J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503–582, May-July 1994.MathSciNetCrossRefGoogle Scholar
  3. 3.
    J.-L. Lassez, M. J. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, San Mateo, CA, USA, 1988.Google Scholar
  4. 4.
    R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997.Google Scholar
  5. 5.
    A. Ohori. A polymorphic record calculus and its compilation. ACM Trans. Prog. Lang. Syst., 17(6):844–895, 1995.CrossRefGoogle Scholar
  6. 6.
    Oz. The Oz Programming System. Programming Systems Lab, DFKI and Universität des Saarlandes: Scholar
  7. 7.
    B. C. Pierce and D. N. Turner. Pict: A programming language based on the picalculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, Cambridge, MA, 1997.Google Scholar
  8. 8.
    J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proceedings of the National Conference on Artificial Intelligence, pages 362–367, 1994.Google Scholar
  9. 9.
    V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.Google Scholar
  10. 10.
    C. Schulte. Programming constraint inference engines. In G. Smolka, editor, Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, pages 519–533, Schloss Hagenberg, Linz, Austria, Oct. 1997. Springer-Verlag.Google Scholar
  11. 11.
    C Schulte and G. Smolka. Encapsulated search in higher-order concurrent constraint programming. In M. Bruynooghe, editor, Proceedings of the International Logic Programming Symposium, pages 505–520, Ithaca, New York, USA, Nov. 1994. The MIT Press, Cambridge, MA.Google Scholar
  12. 12.
    C. Schulte, G. Smolka, and J. Würtz. Finite domain constraint programming in Oz, a tutorial, 1998. Programming Systems Lab, DFKI and Universität des Saarlandes: Scholar
  13. 13.
    G. Smolka. A foundation for concurrent constraint programming. In J.-P. Jouannaud, editor, Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, pages 50–72. Springer-Verlag, Berlin, Sept. 1994.Google Scholar
  14. 14.
    G. Smolka. The definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 251–292. Springer-Verlag, Berlin, 1995.Google Scholar
  15. 15.
    G. Smolka. The Oz Programming Model. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324–343. Springer-Verlag, Berlin, 1995.Google Scholar
  16. 16.
    G. Smolka. Problem solving with constraints and programming. ACM Computing Surveys, 28(4), Dec. 1996. Electronic Section.Google Scholar
  17. 17.
    G. Smolka and R. Treinen. Records for logic programming. The Journal of Logic Programming, 18(3):229–258, Apr. 1994.MathSciNetCrossRefGoogle Scholar
  18. 18.
    P. Van Hentenryck, V. Saraswat, et al. Strategic directions in constraint programming. ACM Computing Surveys, 28(4):701–726, Dec. 1997. ACM 50th Anniversary Issue. Strategic Directions in Computing Research.CrossRefGoogle Scholar
  19. 19.
    P. Van Roy, S. Haridi, P. Brand, G. Smolka, M. Mehl, and R. Scheidhauer. Mobile objects in Distributed Oz. ACM Transactions on Programming Languages and Systems, 19(5), Sept. 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Gert Smolka
    • 1
  1. 1.Programming Systems LabDFKI and Universität des SaarlandesSaarbrückenGermany

Personalised recommendations