Modular Specification and Compositional Soundness of Abstract Interpreters

Keidel, Sven2021-10-152021-10-152021https://openscience.ub.uni-mainz.de/handle/20.500.12030/6394engCC-BY-ND-4.0https://creativecommons.org/licenses/by-nd/4.0/500 Naturwissenschaften500 Natural sciences and mathematicsModular Specification and Compositional Soundness of Abstract InterpretersDissertationv, 133 Seiten, Illustrationen