共 51 条
[1]
ABADI A, 2008, P 2 ACM WORKSH REF T
[2]
AHO V, 1986, COMPILERS PRINCIPLES
[3]
Allen M., 2003, SIGPLAN Notices, V38, P284, DOI 10.1145/966049.777394
[4]
BALL T, 1993, P 1 INT WORKSH AUT A, P206
[6]
INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1985, 7 (01)
:37-61
[7]
Binkley D., 1996, ADV COMPUTERS, V43
[9]
Cimitile A, 1996, J SOFTW MAINT-RES PR, V8, P145, DOI 10.1002/(SICI)1096-908X(199605)8:3<145::AID-SMR127>3.0.CO
[10]
2-9