PROGRAM SLICING

被引：1291

作者：

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
ARSAC, JJ
[J]. COMMUNICATIONS OF THE ACM, 1979, 22 (01) : 43 - 54
[2] ALGORITHM FOR STRUCTURING FLOWGRAPHS
BAKER, BS
[J]. JOURNAL OF THE ACM, 1977, 24 (01) : 98 - 120
[3] PRACTICAL INTER-PROCEDURAL DATA FLOW ANALYSIS ALGORITHM
BARTH, JM
[J]. 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
DENNING, DE
DENNING, PJ
[J]. COMMUNICATIONS OF THE ACM, 1977, 20 (07) : 504 - 513
[7] IMPLEMENTING DATA ABSTRACTION FEATURES IN A STACK-BASED LANGUAGE
GANNON, JD
ROSENBERG, J
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (07) : 547 - 560
[8] FAST AND USUALLY LINEAR ALGORITHM FOR GLOBAL FLOW ANALYSIS
GRAHAM, SL
WEGMAN, M
[J]. 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
LISKOV, B
SNYDER, A
ATKINSON, R
SCHAFFERT, C
[J]. COMMUNICATIONS OF THE ACM, 1977, 20 (08) : 564 - 576