by Franceschino, Lucas and Pichardie, David and Talpin, Jean-Pierre
Abstract:
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations.
Reference:
Verified Functional Programming of an Abstract Interpreter (Franceschino, Lucas and Pichardie, David and Talpin, Jean-Pierre), In Static Analysis (Dr\uagoi, Cezara, Mukherjee, Suvam, Namjoshi, Kedar, eds.), Springer International Publishing, 2021.
Bibtex Entry:
@InProceedings{10.1007/978-3-030-88806-0_6,
author="Franceschino, Lucas
and Pichardie, David
and Talpin, Jean-Pierre",
editor="Dr{\u{a}}goi, Cezara
and Mukherjee, Suvam
and Namjoshi, Kedar",
title="Verified Functional Programming of an Abstract Interpreter",
booktitle="Static Analysis",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="124--143",
abstract="Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the soundness of their computations.",
isbn="978-3-030-88806-0"
}