Sound and reusable components for abstract interpretation

Sven Keidel, Sebastian Erdweg. Sound and reusable components for abstract interpretation. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Authors

Sven Keidel

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

Sebastian Erdweg

Identified as Sebastian Erdweg