Concurrent constraint programming based on functional programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1381, Issue , 1998, Pages 1-11

  Smolka, Gert ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947765541     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053559     Document Type: Conference Paper

References (19)

1. M. Henz. Objects for Concurrent Constraint Programming. Kluwer Academic Publishers, Boston, Nov. 1997.
2. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. The Journal of Logic Programming, 19/20:503-582, May-July 1994.
3. J.-L. Lassez, M. J. Maher, and K. Marriott. Unification revisited. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kauf-mann Publishers, San Mateo, CA, USA, 1988.
4. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, MA, 1997.
5. A. Ohori. A polymorphic record calculus and its compilation. ACM Trans. Prog. Lang. Syst., 17(6):844-895, 1995.
6. Oz. The Oz Programmin g System. Programming Systems Lab, DFKI and Uni-versitat des Saarlandes: http://Mww.ps.uni-sb.de/oz/.
7. B. C. Pierce and D. N. Turner. Piet: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, Cambridge, MA, 1997.
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.
9. V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993.
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 %n Computer Science, pages 519-533, Schloss Hagenberg, Linz, Austria, Oct. 1997. Springer-Verlag.
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.
12. C. Schulte, G. Smolka, and J. Wiirtz. Finite domain constraint programming in Oz, a tutorial, 1998. Programming Systems Lab, DFKI and Universitat des Saarlandes: ftp://ftp.ps.uni-sb.de/oz/documentation/FDTutorial.ps.gz.
13. G. Smolka. A foundation for concurrent constraint programming. In J.-P. Jouan-naud, editor, Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, pages 50-72. Springer-Verlag, Berlin, Sept. 1994.
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.
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.
16. G. Smolka. Problem solving with constraints and programming. ACM Computing Surveys, 28(4), Dec. 1996. Electronic Section.
17. G. Smolka and R. Treinen. Records for logic programming. The Journal of Logic Programming, 18(3):229-258, Apr. 1994.
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.
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.