INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS

被引：89

作者：

BERGERETTI, JF

CARRE, BA

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 01期

关键词：

D O I：

10.1145/2363.2366

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：37 / 61

页数：25

共 24 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2]

AHO AV, 1973, TRANSLATION COMPILIN, V2

[3] PROGRAM DATA FLOW ANALYSIS PROCEDURE [J].

ALLEN, FE ;

COCKE, J .

[4]

Andrews G. R., 1980, ACM Transactions on Programming Languages and Systems, V2, P56, DOI 10.1145/357084.357088

[5]

Carre B., 1979, GRAPHS NETWORKS

[6]

Cohen E.S., 1978, FDN SECURE COMPUTATI, P297

[7] CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW [J].

DENNING, DE ;

DENNING, PJ .

[8]

FARROW R, 1975, 17TH P ANN IEEE S F, P42

[9]

FOSDICK LD, 1976, ACM COMPUT SURV, V8, P305

[10]

FOSDICK LD, 1975, 4TH P TEX C COMP SYS