Inferring frame conditions with static correlation analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Proceedings of the ACM on Programming Languages Year : 2019

Inferring frame conditions with static correlation analysis

Thomas Jensen
  • Function : Author
  • PersonId : 874110
Stéphane Lescuyer
  • Function : Author
Benoît Montagu
  • Function : Author
  • PersonId : 885584

Dates and versions

hal-02413262 , version 1 (16-12-2019)

Identifiers

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⟩
117 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More