The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation - INRIA-MEDIATION-SCIENTIFIQUE
Article Dans Une Revue ERCIM News Année : 2024

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
ERCIM_NEWS_139.pdf (4.32 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
licence
Paternité

Benoît Montagu  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04769799

Soumis le : mercredi 6 novembre 2024-15:24:18

Dernière modification le : samedi 9 novembre 2024-03:25:15

Télécharger pour visualiser

Dates et versions

hal-04769799 , version 1 (06-11-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04769799 , version 1

Citer

Pierre Lermusiaux, Benoît Montagu. The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation. ERCIM News, 2024, Special theme: Software Security, October 2024 (139), pp.24. ⟨hal-04769799⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM CYBERSCHOOL INRIA-MEDIATION-SCIENTIFIQUE
0 Consultations
0 Téléchargements

Partager

More