Compositional soundness proofs of abstract interpreters

Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg. Compositional soundness proofs of abstract interpreters. Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Authors

Sven Keidel

This author has not been identified. Look up 'Sven Keidel' in Google

Casper Bach Poulsen

Identified as Casper Bach Poulsen

Sebastian Erdweg

Identified as Sebastian Erdweg