STATIC INFERENCE OF MODES AND DATA DEPENDENCIES IN LOGIC PROGRAMS

被引：48

作者：

DEBRAY, SK

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 03期

关键词：

D O I：

10.1145/65979.65983

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：418 / 450

页数：33

共 24 条

[1]

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

[2]

CHANG J, 1985, 4TH P ACM S PRINC PR

DEBRAY, SK .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03) :418-450

[4] AUTOMATIC-MODE INFERENCE FOR LOGIC PROGRAMS [J].

DEBRAY, SK ;

WARREN, DS .

JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (03) :207-229

[5] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG [J].

DEBRAY, SK ;

MISHRA, P .

JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01) :61-91

[6]

DEBRAY SK, 1988, 1988 P ACM SIGPLAN C, P297

[7]

DEBRAY SK, 1987, 8712 U AR DEP COMP S

[8]

DEBRAY SK, 1987, 4TH P IEEE S LOG PRO

[9] RELATING LOGIC PROGRAMS AND ATTRIBUTE GRAMMARS. [J].

Deransart, Pierre ;

Maluszynski, Jan .

Journal of Logic Programming, 1985, 2 (02) :119-155

[10]

JANSSENS G, 1988, 5TH P INT C LOG PROG, P669