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 metadatas

https://hal.inria.fr/hal-02413262
Contributor : Benoît Montagu <>
Submitted on : Monday, December 16, 2019 - 10:38:46 AM
Last modification on : Saturday, July 11, 2020 - 3:16:29 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

98