Slicing Concurrent Constraint Programs

LOPSTR, 2016.

Cited by: 2|Bibtex|Views8|Links
EI

Abstract:

Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. Some previous works have developed (approximated) declarative debuggers for CCP languages. However, the task of debugging concurrent programs remains difficult....More

Code:

Data:

Your rating :
0

 

Tags
Comments