The dependence condition graph: precise conditions for dependence between program points

DOI10.1016/J.CL.2009.04.001MaRDI QIDQ1749251zbMATH OpenOpenAlexFDO

Authors Srihari Sukumaran, A. Sreenivas, Ravindra Metta

Publication date 16 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2009.04.001

zbMATH Keywords

program dependenceprogram dependence graph (PDG)software engineeringstatic analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 3876561
• The program dependence graph and its use in optimization
• On the adequacy of dependence-based representations for programs with heaps
• A unifying theory of control dependence and its application to arbitrary program structures
• An optimal algorithm for the construction of the system dependence graph

Cites work

• A Data Flow Oriented Program Testing Strategy
• scientific article; zbMATH DE number 1956607 (Why is no real title available?)
• Program Slicing
• The program dependence graph and its use in optimization
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(6)

• Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
• scientific article; zbMATH DE number 3876561 (Why is no real title available?)
• A threaded abstract syntax tree based generation algorithm of program dependence graph
• The program dependence graph and its use in optimization
• Computational Science - ICCS 2004
• The expression dependence graph

Describes a project that uses

Uses Software

• Symstra

This page was built for publication: The dependence condition graph: precise conditions for dependence between program points

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