A fine-grained data-flow analysis framework

DOI10.1007/S002360050101zbMATH Open0888.68045OpenAlexW2140256550MaRDI QIDQ1365792FDOQ1365792

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

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

zbMATH Keywords

fine-grained data-flow analysis

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (5)

• Title not available (Why is that?)
• 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)