The dependence condition graph: precise conditions for dependence between program points
From MaRDI portal
Publication:1749251
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
Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: The dependence condition graph: precise conditions for dependence between program points