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 <>
Submitted on : Tuesday, September 29, 2020 - 5:15:54 PM
Last modification on : Thursday, January 7, 2021 - 4:20:52 PM
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

83

Files downloads

175