Programming deep concurrent constraint combinators

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

Volumn 1753, Issue , 2000, Pages 215-229

  Schulte, Christian ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

COMBINATION MECHANISMS; COMBINATION METHOD; COMBINATORS; COMPUTATION SPACE; CONCURRENT CONSTRAINT; FLEXIBLE CONSTRAINT; PROGRAM CONSTRAINTS; STANDARD ML;

COMPUTATIONAL LINGUISTICS;

EID: 84958968724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46584-7_15     Document Type: Conference Paper

References (14)

1. Denys Duchier and Claire Gardent. A constraint-based treatment of descriptions. In H. C. Bunt and E. G. C. Thijsse, editors, Third International Workshop on Computational Semantics (IWCS-3), pages 71–85, Tilburg, NL, January 1999.
2. Thom Frühwirth. Constraint handling rules. In Andreas Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 90–107. Springer-Verlag, 1995.
3. Seif Haridi, Sverker Janson, and Catuscia Palamidessi. Structural operational semantics for AKL. Future Generation Computer Systems, 8:409–421, 1992.
4. Sverker Janson. AKL - AMultiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden, 1994. SICS Dissertation Series 14.
5. Michael Mehl. The Oz Virtual Machine: Records, Transients, and Deep Guards. Doctoral dissertation, Universität des Saarlandes, Im Stadtwald, 66041 Saarbrücken, Germany, 1999.
6. Michael Mehl, Ralf Scheidhauer, and Christian Schulte. An abstract machine for Oz. In Manuel Hermenegildo and S. Doaitse Swierstra, editors, Programming Languages, Implementations, Logics and Programs, Seventh International Symposium, PLILP’95, volume 982 of Lecture Notes in Computer Science, pages 151–168, Utrecht, The Netherlands, September 1995. Springer-Verlag.
7. Vijay A. Saraswat. Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming. The MIT Press, Cambridge, MA, USA, 1993.
8. Vijay A. Saraswat and Martin Rinard. Concurrent constraint programming. In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 232–245, San Francisco, CA, USA, January 1990. ACM Press.
9. Christian Schulte. Oz Explorer: A visual constraint programming tool. In Lee Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming, pages 286–300, Leuven, Belgium, July 1997. The MIT Press.
10. Christian Schulte. Programming constraint inference engines. In Gert Smolka, editor, Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, volume 1330 of Lecture Notes in Computer Science, pages 519–533, Schloß Hagenberg, Linz, Austria, October 1997. Springer-Verlag.
11. Gert Smolka. The Oz programming model. In Jan van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 324–343. Springer-Verlag, Berlin, 1995.
12. Gert Smolka. Concurrent constraint programming based on functional programming. In Chris Hankin, editor, Programming Languages and Systems, volume 1381 of Lecture Notes in Computer Science, pages 1–11, Lisbon, Portugal, 1998. Springer-Verlag.
13. Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. In Frédéric Benhamou and Alain Colmerauer, editors, Constraint Logic Programming: Selected Research, pages 383–403. The MIT Press, Cambridge, MA, USA, 1993.
14. Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Design, implementation, and evaluation of the constraint language cc(FD). The Journal of Logic Programming, 37(1–3):139–164, October 1998