Chapter PDF
References
M. Henz. Objects for Concurrent Constraint Programming. Kluwer Academic Publishers, Boston, Nov. 1997.
J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503–582, May-July 1994.
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.
R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997.
A. Ohori. A polymorphic record calculus and its compilation. ACM Trans. Prog. Lang. Syst., 17(6):844–895, 1995.
Oz. The Oz Programming System. Programming Systems Lab, DFKI and Universität des Saarlandes: http://wsrw.ps.uni-sb.de/oz/.
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.
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.
V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.
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.
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.
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: ftp://ftp.ps.uni-sb.de/oz/documentation/FDTutorial.ps.gz.
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.
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.
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.
G. Smolka. Problem solving with constraints and programming. ACM Computing Surveys, 28(4), Dec. 1996. Electronic Section.
G. Smolka and R. Treinen. Records for logic programming. The Journal of Logic Programming, 18(3):229–258, Apr. 1994.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smolka, G. (1998). Concurrent constraint programming based on functional programming. In: Hankin, C. (eds) Programming Languages and Systems. ESOP 1998. Lecture Notes in Computer Science, vol 1381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053559
Download citation
DOI: https://doi.org/10.1007/BFb0053559
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64302-9
Online ISBN: 978-3-540-69722-0
eBook Packages: Springer Book Archive