„concurrent constraint programming“

Suchergebnisse

1.000+ Treffer

• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• A calculus for higher-order concurrent constraint programming with deep guards
  Smolka, Gert 2011 Saarländische Universitäts- und Landesbibliothek
• Set based failure diagnosis for concurrent constraint programming
  Müller, Martin Ludwig
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• A Concurrent Operational Semantics for Constraint Functional Logic Programming
  del Vado Vírseda, Rafael ; Pérez Morente, Fernando ; García Toledo, Marcos Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints
  Martinez, Thierry 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bisimilarity in Concurrent Constraint Programming
  Aristizabal P., Andres A. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Expressiveness of Spatial Constraint Systems
  Guzmán, Michell ; Valencia, Frank D. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Object-oriented concurrent constraint programming in Oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 2011 Saarländische Universitäts- und Landesbibliothek
• Object oriented concurrent constraint programming in oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 1993 DFKI
• A calculus for higher order concurrent constraint programming with deep guards
  Smolka, Gert 1994 DFKI
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 1994 DFKI
• Procol – A concurrent object-oriented language with protocols delegation and constraints
  Bos, Jan van den ; Laffra, Chris
• Set based failure diagnosis for concurrent constraint programming
  Müller, Martin Ludwig
• Executing Formal Specifications with Concurrent Constraint Programming
  Wahls, Tim ; Leavens, Gary T. ; Baker, Albert L.
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 1995 DFKI
• A calculus for higher order concurrent constraint programming with deep guards
  Smolka, Gert 1995 DFKI
• Models and emerging trends of concurrent constraint programming
  Olarte, Carlos ; Rueda, Camilo ; Valencia, Frank D.
• Objects for Concurrent Constraint Programming
  1998 Springer US