LAM: Another prolog abstract machine

被引：0
|
作者：
Li, XN [1 ]
Yao, YY [1 ]
机构：
[1] LAKEHEAD UNIV,DEPT COMP SCI,THUNDER BAY,ON P7B 5E1,CANADA
来源：
1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY | 1996年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：310 / 313
页数：4
相关论文
共 50 条
  • [21] Meta-circular abstract interpretation in prolog
    Codish, M
    Sondergaard, H
    ESSENCE OF COMPUTATION: COMPLEXITY ANALYSIS, TRANSFORMATION, 2002, 2566 : 109 - 134
  • [22] Description and Optimization of Abstract Machines in a Dialect of Prolog
    Morales, Jose F.
    Carro, Manuel
    Hermenegildo, Manuel
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 1 - 58
  • [23] DESIGNING THE ARCHITECTURE OF A PROLOG MACHINE
    张晨曦
    慈云桂
    ScienceinChina,SerA., 1989, Ser.A.1989 (10) : 1237 - 1250
  • [24] HOW TO INVENT A PROLOG MACHINE
    KURSAWE, P
    NEW GENERATION COMPUTING, 1987, 5 (01) : 97 - 114
  • [25] PROXIMA - PROLOG EXECUTION MACHINE
    BALDI, L
    CIVERA, P
    IURLARO, A
    MASERA, G
    PAGNI, A
    PICCININI, G
    POLUZZI, R
    ROCH, MR
    ZAMBONI, M
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1993, 28 (03) : 362 - 370
  • [26] MACHINE TONGUES X - PROLOG
    BALABAN, M
    MURRAY, NV
    COMPUTER MUSIC JOURNAL, 1985, 9 (03) : 7 - 12
  • [27] HOW TO INVENT A PROLOG MACHINE
    KURSAWE, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 134 - 148
  • [28] DESIGNING THE ARCHITECTURE OF A PROLOG MACHINE
    ZHANG, CX
    CI, YG
    SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (10): : 1237 - 1250
  • [29] DESIGNING THE ARCHITECTURE OF A PROLOG MACHINE
    张晨曦
    慈云桂
    Science China Mathematics, 1989, (10) : 1237 - 1250
  • [30] SEQUENTIAL PROLOG MACHINE PEK
    KANEDA, Y
    TAMURA, N
    WADA, K
    MATSUDA, H
    KUO, S
    MAEKAWA, S
    NEW GENERATION COMPUTING, 1986, 4 (01) : 51 - 66
12345