共 35 条
[1]
AHO AV, 1977, PRINCIPLES COMPILER, P408
[2]
AHO AV, 1974, DESIGN ANAL COMPUTER, P195
[3]
BACKHOUSE RC, 1975, J I MATH APPL, V15, P161
[4]
BUNCH JR, 1974, MATH COMPUT, V28, P231, DOI 10.1090/S0025-5718-1974-0331751-8
[5]
Cousot P., 1977, C RECORD ANN ACM S P, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]
[6]
Dijkstra EW., 1959, NUMER MATH, V1, P269, DOI DOI 10.1007/BF01386390
[8]
FONG A, 1977, 4TH P ACM S PRINC PR, P48
[9]
FONG A, 1975, 2 S PRINC PROG LANG, P1
[10]
FORD LR, 1962, FLOWS NETWORKS, P130