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

DOI10.1016/j.cl.2009.04.001zbMath1387.68073OpenAlexW1991024329MaRDI QIDQ1749251

Srihari Sukumaran, Ravindra Metta, Ashok Sreenivas

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

static analysissoftware engineeringprogram dependenceprogram dependence graph (PDG)

Mathematics Subject Classification ID

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

Related Items (1)

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization

Uses Software

• Symstra

Cites Work

• Unnamed Item
• Program Slicing
• The program dependence graph and its use in optimization
• A Data Flow Oriented Program Testing Strategy
• Tools and Algorithms for the Construction and Analysis of Systems

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