Stable relations and abstract interpretation of higher-order programs

Benoît Montagu; Thomas Jensen

doi:10.1145/3409001

Article Dans Une Revue Proceedings of the ACM on Programming Languages Année : 2020

Stable relations and abstract interpretation of higher-order programs

(1) , (1)

1

Benoît Montagu

Fonction : Auteur
PersonId : 1331312
IdHAL : benoit-montagu
ORCID : 0009-0005-6153-6276

Software certification with semantic analysis

Thomas Jensen

Fonction : Auteur
PersonId : 874110

Software certification with semantic analysis

Domaines

Langage de programmation [cs.PL]

Fichier principal

hal-02916996.pdf (506.63 Ko)

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 : lundi 8 janvier 2024-16:21:18

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

Dates et versions

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

Identifiants

HAL Id : hal-02916996 , version 1
DOI : 10.1145/3409001

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

141 Consultations

189 Téléchargements

Stable relations and abstract interpretation of higher-order programs

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager