The impact of program transformations on static program analysis

DOI10.1007/978-3-319-99725-4_19MaRDI QIDQ6041177zbMATH OpenOpenAlexFDO

Authors Kedar S. Namjoshi, Zvonimir Pavlinovic

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99725-4_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1878556
• Simple relational correctness proofs for static analyses and program transformations
• From Verification to Optimizations
• Types for Proofs and Programs
• Slicing for modern program structures: a theory for eliminating irrelevant loops

Cited in

(3)

• Analyzing Array Manipulating Programs by Program Transformation
• scientific article; zbMATH DE number 2087563 (Why is no real title available?)
• Preserving provability over GPU program optimizations with annotation-aware transformations

This page was built for publication: The impact of program transformations on static program analysis

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