Dynamic slicing for Concurrent Constraint Languages

Fundamenta Informaticae, 2019.

Cited by: 0|Bibtex|Views7|Links

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. I...More

Code:

Data:

Your rating :
0

 

Tags
Comments