4 citations · 10 across the 8 of their papers we have counts for
8 papers
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan, Giselle Reis +1
We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which…
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…
Proceedings First International Workshop on Focusing
Iliano Cervesato, Carsten Schürmann
This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite ev…
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Iliano Cervesato, Kaustuv Chaudhuri
This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in B…
Proceedings Third International Workshop on Linearity
Sandra Alves, Iliano Cervesato
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day sat…
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…
Towards Meta-Reasoning in the Concurrent Logical Framework CLF
Iliano Cervesato, Jorge Luis Sacchini
The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety…
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-…