Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Soares, Tiago Lopes"'
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 specification language for OCaml that can be used both in dynamic and static ana
Externí odkaz:
http://arxiv.org/abs/2407.17289
Autor:
Soares, Tiago Lopes
In this report, we present the preliminary work developed for our research project for the APDC (\'Area Pr\'atica de Desenvolvimento Curricular) course. The main goal of this project is to develop a framework, on top of the Why3 tool, for the verific
Externí odkaz:
http://arxiv.org/abs/2011.14044
Autor:
Soares, Tiago Lopes
The new major release of the OCaml compiler is set to be an important landmark in the history and ecosystem of the language. The 5.0 version introduces Multicore OCaml, a multi-threaded implementation of the OCaml runtime. Two new important paradigms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1437::3b2dbb11af01b1e12b98dfe6f485bc56
https://hdl.handle.net/10362/151098
https://hdl.handle.net/10362/151098