Skip to Main content Skip to Navigation
Journal articles

Stable relations and abstract interpretation of higher-order programs

Benoît Montagu 1 Thomas Jensen 1 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Journal articles
Complete list of metadata

Cited literature [55 references]  Display  Hide  Download

https://hal.inria.fr/hal-02916996
Contributor : Laurent Jonchère Connect in order to contact the contributor
Submitted on : Tuesday, September 29, 2020 - 5:15:54 PM
Last modification on : Monday, April 4, 2022 - 9:28:24 AM
Long-term archiving on: : Wednesday, December 30, 2020 - 7:09:32 PM

File

hal-02916996.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

82

Files downloads

128