scientific article; zbMATH DE number 3876561

zbMATH Open0549.68007MaRDI QIDQ3341865FDOQ3341865

Authors: Jeanne Ferrante, Karl J. Ottenstein, J. Warren 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• The program dependence graph and its use in optimization
• An optimal algorithm for the construction of the system dependence graph
• The dependence condition graph: precise conditions for dependence between program points
• scientific article; zbMATH DE number 1533817
• On the adequacy of dependence-based representations for programs with heaps

zbMATH Keywords

program dependence graphcontrol dependencesData dependencesProgram transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (23)

• Static Analysis
• Title not available (Why is that?)
• Traces of Control-Flow Graphs
• Optimization of a data dependence graph for the local microcode compaction problem. II: Algorithms and experimental verification
• Optimization of a data dependence graph for the local microcode compaction problem. I: Problem statement
• Slicing for architectural analysis
• The dependence condition graph: precise conditions for dependence between program points
• Properties of data flow frameworks: A unified model
• Semantics of program representation graphs
• Combining preprocessor slicing with C/C++ language slicing
• Title not available (Why is that?)
• Efficient comparison of program slices
• Computational Science - ICCS 2004
• System dependence graph construction for aspect oriented C++
• Title not available (Why is that?)
• The expression dependence graph
• An optimal algorithm for the construction of the system dependence graph
• Upper bound computation of information leakages for unbounded recursion
• A threaded abstract syntax tree based generation algorithm of program dependence graph
• A novel formal approach to program slicing
• The program dependence graph and its use in optimization
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

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