Logique pour l'informatique

Autor: Jaume, Mathieu, Journault, Matthieu, Lesot, Marie-Jeanne, Manoury, Pascal, Mounier, Isabelle

Publikováno v: Ellipses, 2020, 9782340042612

National audience; Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complét

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e60cb4554ffa7c4524730b4fba8d98a
https://hal.archives-ouvertes.fr/hal-02995890

Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats

Autor: Journault, Matthieu

Publikováno v: Programming Languages [cs.PL]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS152⟩

Ensuring the scalability of static analyzers defined by abstract interpretation poses difficulties. A classical technique known to speed up analyses is the discovery and reuse of summaries for some of the sequences of statements of the source code. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::e8182baca4975963d1cc261514a34794
https://tel.archives-ouvertes.fr/tel-02947214/document

Design of a Modular Platform for Static Analysis

Autor: Miné, Antoine, Ouadjaout, Abdelraouf, Journault, Matthieu

Publikováno v: The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18)
The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Aug 2018, Fribourg-en-Brisgau, Germany

International audience; We present the design and implementation of Mopsa, a platform that simplifies the construction of semantic static analyzers by abstract interpretation. Mopsa computes sound program invariants and reports run-time errors, undef

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c51e921a0192f53d1d73606bce10b5a3
https://hal.sorbonne-universite.fr/hal-01870001

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

Autor: Journault, Matthieu, Miné, Antoine

Publikováno v: Static Analysis (9783662534120); 2016, p257-277, 21p