A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice

Theoretical Aspects of Computing – ICTAC 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10882-7_21 ◽

2014 ◽

pp. 351-368 ◽

Cited By ~ 1

Author(s):

Luis F. Pino ◽

Filippo Bonchi ◽

Frank D. Valencia

Keyword(s):

Constraint Programming ◽

Nondeterministic Choice ◽

Concurrent Constraint Programming

Download Full-text

Compositional modelling of signalling pathways in timed concurrent constraint programming

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology - BCB '10 ◽

10.1145/1854776.1854843 ◽

2010 ◽

Cited By ~ 4

Author(s):

Davide Chiarugi ◽

Moreno Falaschi ◽

Carlos Olarte ◽

Catuscia Palamidessi

Keyword(s):

Constraint Programming ◽

Signalling Pathways ◽

Concurrent Constraint Programming

Download Full-text

A Symbolic Model for Timed Concurrent Constraint Programming

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2015.04.010 ◽

2015 ◽

Vol 312 ◽

pp. 161-177 ◽

Cited By ~ 1

Author(s):

Jaime Arias ◽

Michell Guzmán ◽

Carlos Olarte

Keyword(s):

Constraint Programming ◽

Symbolic Model ◽

Concurrent Constraint Programming

Download Full-text

How to Implement Lightweight Threads

10.31219/osf.io/84tvj ◽

2019 ◽

Author(s):

Mauricio Toro

Keyword(s):

Constraint Programming ◽

Efficient Implementation ◽

High Order ◽

Common Lisp ◽

Event Driven ◽

Lightweight Threads ◽

Concurrent Constraint Programming

Using continuations in high order languages such as Common Lisp is notvery efficient because they do not work close to the compiler . Other optionssuch as making an scheduler in C can be efficient when the sources of theinterpreter are available and they can be modified, otherwise, making aninterface with C using FFI causes an overhead, making it impossible toachive “lighweight”.To make an efficient implementation of lighweight threads in CommonLisp it is required to analyze the type of applications which will use thethreads. For example, for a Concurrent Constraint Programming (CCP)interpreter using Gecode, event driven programming seams very natural,but for the Omax system, it is not be appropriate.

Download Full-text