PROGRAM SLICING

被引：1314

作者：

WEISER, M

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1984年 / 10卷 / 04期

关键词：

D O I：

10.1109/TSE.1984.5010248

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：352 / 357

页数：6

共 25 条

[1] SYNTACTIC SOURCE TO SOURCE TRANSFORMS AND PROGRAM MANIPULATION [J].

ARSAC, JJ .

COMMUNICATIONS OF THE ACM, 1979, 22 (01) :43-54

[2] ALGORITHM FOR STRUCTURING FLOWGRAPHS [J].

BAKER, BS .

JOURNAL OF THE ACM, 1977, 24 (01) :98-120

[3] PRACTICAL INTER-PROCEDURAL DATA FLOW ANALYSIS ALGORITHM [J].

BARTH, JM .

COMMUNICATIONS OF THE ACM, 1978, 21 (09) :724-736

[4]

BASILI VR, 1979, COMPUTER, V12, P21, DOI 10.1109/MC.1979.1658573

[5]

Browne J. C., 1978, 3rd International Conference on Software Engineering, P142

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

DENNING, DE ;

DENNING, PJ .

COMMUNICATIONS OF THE ACM, 1977, 20 (07) :504-513

[7] IMPLEMENTING DATA ABSTRACTION FEATURES IN A STACK-BASED LANGUAGE [J].

GANNON, JD ;

ROSENBERG, J .

SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (07) :547-560

[8] FAST AND USUALLY LINEAR ALGORITHM FOR GLOBAL FLOW ANALYSIS [J].

GRAHAM, SL ;

WEGMAN, M .

JOURNAL OF THE ACM, 1976, 23 (01) :172-202

[9]

Lengauer Thomas, 1979, ACM T PROGR LANG SYS, V1, P121, DOI [DOI 10.1145/357062.357071, 10.1145/357062.357071]

[10] ABSTRACTION MECHANISMS IN CLU [J].

LISKOV, B ;

SNYDER, A ;

ATKINSON, R ;

SCHAFFERT, C .

COMMUNICATIONS OF THE ACM, 1977, 20 (08) :564-576

← 1 2 3 →