10. ICLP 1993, Workshop on Concurrent Constraint Programming

• Sverker Janson, Johan Montelius, Seif Haridi: A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).
• Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy: An Informal Introduction to LIFE.
• Gert Smolka: A Survey of Oz - A Higher-order Concurrent Constraint Language. Long Version: Gert Smolka, Martin Henz, Jörg Würtz: Object-Oriented Concurrent Constraint Programming in Oz. DFKI Research Report RR-93-16
• Björn Carlson, Sverker Janson, Johan Montelius: Aspects of Constraint Solving for AKL (Extended Abstract).
• Remco Moolenaar, Bart Demoen: Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language.
• Dan Sahlin, Thomas Sjöland: Towards Abstract Interpretation of AKL.
• Torbjörn Keisu: Herbrand Constraints (Extended Abstract).
• Andreas Podelski, Peter Van Roy: The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.
• Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Constraint Logic Programs.
• Philippe Codognet, Daniel Diaz: Boolean Constraint Solving Using clp(FD).
• Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria García de la Banda, Manuel Hermenegildo: Contextual Nets and Constraint Logic Programming.
• Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein: Order-Sorted Feature Theory Unification.

Last update Thu May 23 17:05:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page