| 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 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
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)