An Assertion language for slicing Constraint Logic Languages

LOPSTR, Volume abs/1808.04867, 2018, Pages 148-165.

Cited by: 2|Bibtex|Views5|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments