Dynamic slicing for Concurrent Constraint Languages
Fundamenta Informaticae, 2019.
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
Full Text (Upload PDF)
PPT (Upload PPT)