Journal Articles
Proceedings of the ACM on Programming Languages
Year : 2019
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, July 24, 2023-11:06:33 AM
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⟩
Collections
117
View
0
Download