Verified Functional Programming of an Abstract Interpreter

Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…