Article Dans Une Revue
Proceedings of the ACM on Programming Languages
Année : 2019
Benoît Montagu : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02413262
Soumis le : lundi 16 décembre 2019-10:38:46
Dernière modification le : lundi 8 janvier 2024-16:21:18
Citer
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
135
Consultations
0
Téléchargements