An optimal algorithm for the construction of the system dependence graph

DOI10.1016/S0020-0255(99)00030-4MaRDI QIDQ5938653zbMATH OpenOpenAlexFDO

Authors Panos E. Livadas, Theodore Johnson

Publication date 1 October 2001

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0255(99)00030-4

zbMATH Keywords

optimal algorithmprogram analysisprogram representationprogram slicingsystem dependence graph

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• Efficient comparison of program slices
• scientific article; zbMATH DE number 3876561
• The program dependence graph and its use in optimization
• An efficient method for computing dynamic program slices
• Program Slicing

Cites work

• scientific article; zbMATH DE number 3876561 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Ordered attributed grammars
• Program Slicing
• The program dependence graph and its use in optimization

Cited in

(10)

• An efficient method for computing dynamic program slices
• The dependence condition graph: precise conditions for dependence between program points
• Exception-sensitive program slicing
• scientific article; zbMATH DE number 3876561 (Why is no real title available?)
• A threaded abstract syntax tree based generation algorithm of program dependence graph
• Dependence graph based verification and synthesis of hardware/software co-designs with SAT related formulation
• The program dependence graph and its use in optimization
• System dependence graph construction for aspect oriented C++
• The expression dependence graph
• Fast computation of strong control dependencies

This page was built for publication: An optimal algorithm for the construction of the system dependence graph

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