共 51 条
[21]
HERMENEGILDO M, 2003, LNCS
[22]
Hermenegildo M. V., 1991, New Generation Computing, V9, P233, DOI 10.1007/BF03037164
[23]
STRICT AND NONSTRICT INDEPENDENT AND PARALLELISM IN LOGIC PROGRAMS - CORRECTNESS, EFFICIENCY, AND COMPILE-TIME CONDITIONS
[J].
JOURNAL OF LOGIC PROGRAMMING,
1995, 22 (01)
:1-45
[24]
Jones N. D., 1997, LNCS, V1302, P396
[25]
Jones ND, 1993, PARTIAL EVALUATION A
[26]
KOMOROWSKI J, 1992, LECT NOTES COMPUT SC, V649, P49
[27]
LEUSCHEL M, 1998, JOINT INT C S LOG PR
[28]
LEUSCHEL M, 1996, LECT NOTES COMPUTER, V1140, P137
[29]
LEUSCHEL M, 2001, LNCS, V2372
[30]
LEUSCHEL M, 1996, P JOINT INT C S LOG