16 citations · 28 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
An Assertion language for slicing Constraint Logic Languages
Moreno Falaschi, Carlos Olarte
Constraint Logic Programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent Constraint Programming (CCP) i…
cs.LO2018
A Concurrent Constraint Programming Interpretation of Access Permissions
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of…