A DENOTATIONAL SEMANTICS FOR PROLOG

被引：13
作者：
NICHOLSON, T
FOO, N
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 04期
关键词：
D O I：
10.1145/69558.69564
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：650 / 665
页数：16
相关论文
共 8 条
[1]   CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING [J].
APT, KR ;
VANEMDEN, MH .
JOURNAL OF THE ACM, 1982, 29 (03) :841-862
[2]  
Clocksin W. F., 1981, PROGRAMMING PROLOG
[3]  
Gordon M., 1979, DENOTATIONAL DESCRIP
[4]  
Jones N. D., 1984, 1984 International Symposium on Logic Programming (cat. no. 84CH2007-3), P281
[5]   ALGORITHM = LOGIC + CONTROL [J].
KOWALSKI, R .
COMMUNICATIONS OF THE ACM, 1979, 22 (07) :424-436
[6]  
Stoy J. E., 1977, DENOTATIONAL SEMANTI
[7]   DERIVING TARGET CODE AS A REPRESENTATION OF CONTINUATION SEMANTICS [J].
WAND, M .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :496-517
[8]  
WAND M, 1983, 148 IND U COMP SCI D
1