| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Stable relations and abstract interpretation of higher-order programs
Cited literature [55 references]
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
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)