Data Flow Analysis

DOI10.1201/9780849332517zbMath1168.68010OpenAlexW4251476415MaRDI QIDQ3618635

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) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) General topics in the theory of data (68P01)

Related Items (5)

PBDiff: Neural network based program-wide diffing method for binaries ⋮ A matching logic foundation for Alk ⋮ Efficient interprocedural data-flow analysis using treedepth and treewidth ⋮ Context-sensitive analysis without calling-context ⋮ Knowledge and Local Actions

This page was built for publication: Data Flow Analysis