Demand-driven Computation of Interprocedural Data Flow

Demand-driven Computation of Interprocedural Data Flow (1995)

Cached

Download Links

[ftp.cs.pitt.edu]

Other Repositories/Bibliography

DBLP

by Evelyn Duesterwald , Rajiv Gupta , Mary Lou Soffa

Citations:

76 - 9 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Demand-driven Computation of Interprocedural Data Flow	user correction - Legacy Corrections
AUTHOR NAME	Evelyn Duesterwald	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Pittsburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15260	SVM HeaderParse 0.1
AUTHOR NAME	Rajiv Gupta	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Pittsburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15260	SVM HeaderParse 0.1
AUTHOR NAME	Mary Lou Soffa	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Pittsburgh	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15260	SVM HeaderParse 0.1
ABSTRACT	This paper presents a general framework for deriving demanddriven algorithms for interprocedural data flow analysis of imperative programs. The goal of demand-driven analysis is to reduce the time and/or space overhead of conventional exhaustive analysis by avoiding the collection of information that is not needed. In our framework, a demand for data flow information is modeled as a set of data flow queries. The derived demand-driven algorithms find responses to these queries through a partial reversal of the respective data flow analysis. Depending on whether minimizing time or space is of primary concern, result caching may be incorporated in the derived algorithm. Our framework is applicable to interprocedural data flow problems with a finite domain set. If the problem's flow functions are distributive, the derived demand algorithms provide as precise information as the corresponding exhaustive analysis. For problems with monotone but non-distributive flow functions the provided dat...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	37--48	INFERENCE
CITATIONS	36 found	ParsCit 1.0