Stable relations and abstract interpretation of higher-order programs - 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 : 2020

Stable relations and abstract interpretation of higher-order programs

Fichier principal
Vignette du fichier
hal-02916996.pdf (506.63 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02916996 , version 1 (29-09-2020)

Identifiers

Cite

Benoît Montagu, Thomas Jensen. Stable relations and abstract interpretation of higher-order programs. Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409001⟩. ⟨hal-02916996⟩
145 View
201 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More