LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS

被引：4

作者：

DELAHAYE, JP

机构：

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1988年 / 22卷 / 01期

关键词：

D O I：

10.1051/ita/1988220100031

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：3 / 42

页数：40

共 50 条

[1] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[2] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG
DEBRAY, SK
MISHRA, P
[J]. JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
[3] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
ARBAB, B
BERRY, DM
[J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
[4] LOGICAL ASPECTS OF DENOTATIONAL SEMANTICS
ROBINSON, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 238 - 253
[5] SOME COMMENTS ON A DENOTATIONAL SEMANTICS FOR PROLOG
ARBAB, B
BERRY, DM
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 605 - 606
[6] SIMPLE OPERATIONAL AND DENOTATIONAL SEMANTICS FOR PROLOG WITH CUT
BILLAUD, M
[J]. THEORETICAL COMPUTER SCIENCE, 1990, 71 (02) : 193 - 208
[7] A CORRECTION TO THE DENOTATIONAL SEMANTICS FOR THE PROLOG OF NICHOLSON AND FOO
FINLAY, A
ALLISON, L
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (01): : 206 - 208
[8] Towards a logical semantics for pure Prolog
Barbuti, R
De Francesco, N
Mancarella, P
Santone, A
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1998, 32 (1-3) : 145 - 176
[9] A LOGICAL OPERATIONAL SEMANTICS OF FULL PROLOG
BORGER, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 36 - 64
[10] Operational and goal-independent denotational semantics for Prolog with cut
Spoto, F
[J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 42 (01): : 1 - 46