An Assertion language for slicing Constraint Logic Languages
LOPSTR, Volume abs/1808.04867, 2018, Pages 148-165.
Constraint Logic Programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints in a shared store. In a previous paper, we developed a framework f...More
Full Text (Upload PDF)
PPT (Upload PPT)