Inferring frame conditions with static correlation analysis

Oana Andreescu; Thomas Jensen; Stéphane Lescuyer; Benoît Montagu

doi:10.1145/3290360

Journal Articles Proceedings of the ACM on Programming Languages Year : 2019

Inferring frame conditions with static correlation analysis

(1) , (1) , (2) , (3)

1
2
3

Oana Andreescu

Function : Author

Software certification with semantic analysis

Thomas Jensen

Function : Author
PersonId : 874110

Software certification with semantic analysis

Stéphane Lescuyer

Function : Author

PROVE & RUN

Benoît Montagu

Function : Author
PersonId : 1331312
IdHAL : benoit-montagu
ORCID : 0009-0005-6153-6276

PROVE & RUN

Domains

Programming Languages [cs.PL]

Benoît Montagu : Connect in order to contact the contributor

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

Submitted on : Monday, December 16, 2019-10:38:46 AM

Last modification on : Monday, January 8, 2024-4:21:18 PM

Dates and versions

hal-02413262 , version 1 (16-12-2019)

Identifiers

HAL Id : hal-02413262 , version 1
DOI : 10.1145/3290360

Cite

Oana Andreescu, Thomas Jensen, Stéphane Lescuyer, Benoît Montagu. Inferring frame conditions with static correlation analysis. Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290360⟩. ⟨hal-02413262⟩

Export

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

146 View

0 Download

Inferring frame conditions with static correlation analysis

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share