A Certified Denotational Abstract Interpreter (Proof Pearl)

by David Cachera , David Pichardie