Skip to Main content Skip to Navigation
Journal articles

Inferring frame conditions with static correlation analysis

Oana Andreescu 1 Thomas Jensen 1 Stéphane Lescuyer 2 Benoît Montagu 3 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Journal articles
Complete list of metadata
Contributor : Benoît Montagu Connect in order to contact the contributor
Submitted on : Monday, December 16, 2019 - 10:38:46 AM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

Links full text



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



Record views