The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis

The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis (1988)

Cached

Download Links

by David Callahan

Citations:

BibTeX

@MISC{Callahan88theprogram,
    author = {David Callahan},
    title = { The Program Summary Graph and Flow-sensitive Interprocedural Data Flow Analysis},
    year = {1988}
}

Bookmark

OpenURL

Abstract

Citations

628	Interprocedural Slicing Using Dependence Graphs - Iorwitz, Reps, et al. - 1990
119	Global data flow analysis and iterative algorithms - Kam, Ullman - 1976
112	Interprocedural side-effect analysis in linear time - Cooper, Kennedy
112	A precise inter-procedural data flow algorithm - Myers - 1981
107	The Structure of Computers and Computations - Kuck - 1978
105	Analysis of interprocedural side effects in a parallel programming environment - Callahan, Kennedy - 1987
98	An overview of the PTRAN analysis system for multiprocessing - Allen, Burke, et al. - 1987
81	Interprocedural constant propagation - Callahan, Cooper, et al. - 1986
64	A semantic model of reference counting and its abstraction - Hudak - 1986
56	The impact of interprocedural analysis and optimization in the lR.” programming environment - Cooper, Kennedy, et al. - 1986
56	A survey of data flow analysis techniques - Kennedy - 1981
41	An incremental version of iterative data flow analysis. Rice COMP - Pollock, Soffa - 1987
35	Analyzing aliases of reference formal parameters - Cooper - 1985
29	Data flow analysis for procedural languages - Science, Rosen - 1979
26	Interprocedural data flow analysis - Allen - 1974
12	An incremental algorithm for software analysis - Ryder, Carroll - 1986
10	Data flow analysis in the presence of procedure calls - Lomet - 1977
9	Interprocedural Data Flow Analysis in a Progmmming Environment - Cooper - 1983
1	a semi-automatic parallel programming assistant - PTOOL - 1986
1	PFC: a program to conoert Fortran to parallel form - Allen, Kennedy - 1982
1	A fast and usually linear algorithm for global data flow analysis - Sciences - 1976