2 papers
cs.LO2026
Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
Maximiliano Cristiá, Gianfranco Rossi
We encode arrays as functions which, in turn, are encoded as sets of ordered pairs. The set cardinality of each of these functions coincides with the length of the array it is repr…
cs.LO2026
{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
{log} (read 'setlog') was born as a Constraint Logic Programming (CLP) language where sets and binary relations are first-class citizens, thus fostering set programming. Internally…