AUTOMATIC-MODE INFERENCE FOR LOGIC PROGRAMS

被引：63

作者：

DEBRAY, SK ^{[1
]}

WARREN, DS ^{[1
]}

机构：

[1] UNIV ARIZONA,DEPT COMP SCI,TUCSON,AZ 85721

来源：

JOURNAL OF LOGIC PROGRAMMING | 1988年 / 5卷 / 03期

关键词：

*This work was supported in part by the National Science Foundation DC%8407688. $This is a revised version of a paper presented at the Third Symposium on Logic Programming; Lake City; Utah; Sept. 1986. Address correspondence to Saumya K. Debray; Department Arizona; Tucson; AZ; 85721; Received; 15; May; 1987; accepted; October;

D O I：

10.1016/0743-1066(88)90010-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：207 / 229

页数：23

共 23 条

[1]

BANCILHON F, 1986, MCC DB09186 MICR COM

[2]

BRUYNOOGHE M, 1987, 4TH P IEEE S LOG PRO

[3]

BRUYNOOGHE M, 1982, 1ST P INT LOG PROGR

[4]

BRUYNOOGHE M, 1982, APIC STUDIES DATA PR, V16

[5]

BRUYNOOGHE M, 1986, P IFIP WORKING C PRO

[6]

CHANG J, 1985, FEB COMPCON 85

[7]

Cousot P., 1977, C RECORD ANN ACM S P, P238, DOI [DOI 10.1145/512950.512973, 10.1145/512950.512973]

[8]

DEBRAY S, 1986, THESIS SUNY STONY BR

[9]

DEBRAY SK, 1987, SB PROLOG SYSTEM VER

[10]

DEBRAY SK, 1988, 15TH P ANN ACM S PRI

← 1 2 3 →