Stable relations and abstract interpretation of higher-order programs - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2020

Stable relations and abstract interpretation of higher-order programs

Benoît Montagu
Software certification with semantic analysis
Thomas Jensen
  • Fonction : Auteur
  • PersonId : 874110
Software certification with semantic analysis

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
hal-02916996.pdf (506.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Laurent Jonchère  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02916996

Soumis le : mardi 29 septembre 2020-17:15:54

Dernière modification le : mercredi 6 novembre 2024-11:12:05

Archivage à long terme le : mercredi 30 décembre 2020-19:09:32

Télécharger pour visualiser

Dates et versions

hal-02916996 , version 1 (29-09-2020)

Identifiants

Citer

Benoît Montagu, Thomas Jensen. Stable relations and abstract interpretation of higher-order programs. Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409001⟩. ⟨hal-02916996⟩

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
161 Consultations
213 Téléchargements

Altmetric

Partager

More