Static analysis of gated data dependence graphs

DOI10.1007/978-3-540-27864-1_16MaRDI QIDQ5466561zbMATH OpenOpenAlexFDO

Authors Charles Hymans, Eben Upton

Publication date 24 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3876561
• Data dependence analysis in programs with pointers
• The program dependence graph and its use in optimization
• scientific article; zbMATH DE number 1224950
• Exploitation of symbolic information in interprocedural dependence analysis

Cited in

(3)

• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• The program dependence graph and its use in optimization
• Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey

This page was built for publication: Static analysis of gated data dependence graphs

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