2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2017
Proceedings Fourth International Workshop on Linearity
Iliano Cervesato, Maribel Fernández
This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day sa…
cs.PL2014★ 2 cited
Constraint Handling Rules with Multiset Comprehension Patterns
Edmund S. L. Lam, Iliano Cervesato
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with…
cs.LO2012
An Improved Proof-Theoretic Compilation of Logic Programs
Iliano Cervesato
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this tec…