Data Flow Analysis

DOI10.1201/9780849332517MaRDI QIDQ3618635zbMATH OpenOpenAlexFDO

Authors Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare

Publication date 2 April 2009

Full work available at URL https://doi.org/10.1201/9780849332517

zbMATH Keywords

compiler optimizationdata flow analysisdata flow equation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of compilers and interpreters (68N20) Theory of software (68N99) General topics in the theory of data (68P01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Principles of program analysis
• Reasoning about program transformations. Imperative programming and flow of data
• Data flow analysis of distributed communicating processes
• scientific article; zbMATH DE number 879004
• Fuzzy array dataflow analysis

Cited in

(11)

• Advanced symbolic analysis for compilers. New techniques and algorithms for symbolic program analysis and optimization.
• PBDiff: Neural network based program-wide diffing method for binaries
• DataFAN: A practical approach to data flow analysis for Ada 95
• An approach of data-flow analysis based on exception propagation analysis
• Reasoning about program transformations. Imperative programming and flow of data
• scientific article; zbMATH DE number 1883605 (Why is no real title available?)
• Knowledge and local actions
• A matching logic foundation for Alk
• Efficient interprocedural data-flow analysis using treedepth and treewidth
• Context-sensitive analysis without calling-context
• Data-flow analyses as effects and graded monads

This page was built for publication: Data Flow Analysis

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