A systematic approach to abstract interpretation of program transformations

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

Authors 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)

Recommendations

• scientific article; zbMATH DE number 4178791
• Systematic design of program transformation frameworks by abstract interpretation
• scientific article; zbMATH DE number 2085260
• scientific article; zbMATH DE number 1949621
• A certified denotational abstract interpreter

Cited in

(6)

• Some methods of automatic analysis and controllable transformation of programs
• scientific article; zbMATH DE number 2111735 (Why is no real title available?)
• A Framework for Point-Free Program Transformation
• Program transformation system based on generalized partial computation
• Rethinking static analysis by combining discrete and continuous reasoning
• Inferring functional properties of matrix manipulating programs by abstract interpretation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784122)