1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2024
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
Tiago Lopes Soares, Ion Chirica, Mário Pereira
We present our work on the collaborative use of dynamic and static analysis tools for the verification of software written in the OCaml language. We build upon Gospel, a specificat…
cs.LO2023★ 1 cited
A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)
Tiago Soares, Mário Pereira
Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and…
cs.LO2020
A Deductive Verification Framework For Higher Order Programs
Tiago Lopes Soares
In this report, we present the preliminary work developed for our research project for the APDC (Área Prática de Desenvolvimento Curricular) course. The main goal of this project i…