A systematic approach to abstract interpretation of program transformations

DOI10.1007/978-3-030-39322-9_7OpenAlexW3000629693MaRDI QIDQ784122

Sven Keidel, Sebastian Erdweg

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A systematic approach to abstract interpretation of program transformations