2 citations · 5 across the 4 of their papers we have counts for
6 papers
Facilitating Meta-Theory Reasoning (Invited Paper)
Giselle Reis
Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematica…
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
Laila El-Beheiry, Giselle Reis, Ammar Karkour
Formally reasoning about functional programs is supposed to be straightforward and elegant, however, it is not typically done as a matter of course. Reasoning in a proof assistant…
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
Giselle Reis, Haniel Barbosa
This volume of EPTCS contains the proceedings of the Sixth Workshop on Proof Exchange for Theorem Proving (PxTP 2019), held on 26 August 2019 as part of the CADE-27 conference in N…
The ILLTP Library for Intuitionistic Linear Logic
Carlos Olarte, Valeria de Paiva, Elaine Pimentel +1
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such…
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 of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on J…