A fine-grained data-flow analysis framework

DOI10.1007/S002360050101MaRDI QIDQ1365792zbMATH OpenOpenAlexFDO

Authors C. Samuel Hsieh

Publication date 9 September 1997

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050101

zbMATH Keywords

fine-grained data-flow analysis

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• On the computational complexity of data flow analysis over finite bounded meet semilattices
• Data flow analysis as model checking
• Using locality of flow in dataflow analyses.
• Frameworks for abstract interpretation
• An efficient general iterative algorithm for dataflow analysis

Cited in

(5)

• scientific article; zbMATH DE number 1948400 (Why is no real title available?)
• Properties of data flow frameworks: A unified model
• CFA2: A Context-Free Approach to Control-Flow Analysis
• Summary-based context-sensitive data-dependence analysis in presence of callbacks
• On the computational complexity of data flow analysis over finite bounded meet semilattices

This page was built for publication: A fine-grained data-flow analysis framework

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