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 : mercredi 6 novembre 2024-11:12:05
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
151
Consultations
0
Téléchargements