METHOD OF ATTRIBUTES FOR DATA FLOW ANALYSIS .2. DEMAND ANALYSIS

被引：18

作者：

BABICH, WA ^{[1
]}

JAZAYERI, M ^{[1
]}

机构：

[1] UNIV N CAROLINA,DEPT COMP SCI,CHAPEL HILL,NC 27514

来源：

ACTA INFORMATICA | 1978年 / 10卷 / 03期

关键词：

D O I：

10.1007/BF00264320

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 [计算机科学与技术];

摘要：

The importance of producing data flow information on demand is discussed. The method of attributes is applied to the demand analysis of live variables. Part I of this paper described the method of attributes, which is a technique for high level data flow analysis. In that paper, the method was applied to two well-known problems: analysis of dead variables and analysis of available expressions. Both of these analyses are called exhaustive because they uncover information for all program points. In this part, we apply the method of attributes to a problem in demand data flow analysis. © 1978 Springer-Verlag.

引用

页码：265 / 272

页数：8

共 10 条

[1]

ALLEN F, 1969, ANN REV AUTOMATIC PR, V2, P239

[2]

BABICH WA, 1977, THESIS U N CAROLINA

[3]

CRAWFORD J, 1977, 15TH P ANN SE REG AC, P80

[4]

DENNING P, 1968, MACTR50 PROJ MAC TEC