An abstract machine for Oz

被引：0
|
作者：
Mehl, M
Scheidhauer, R
Schulte, C
机构：
来源：
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS | 1995年 / 982卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Oz is a concurrent constraint language providing for first-class procedures, concurrent objects, and encapsulated search. DFKI Oz is an interactive implementation of Oz competitive in performance with commercial Prolog and Lisp systems. This paper describes AMOZ, the abstract machine underlying DFKI Oz. AMoZ implements rational tree constraints, first-class procedures, local computation spaces for deep guards, and preemptive and fair threads.
引用
收藏
页码：151 / 168
页数：18
相关论文
共 50 条
  • [1] Wizard of Oz Prototyping for Machine Learning Experiences
    Browne, Jacob T.
    CHI EA '19 EXTENDED ABSTRACTS: EXTENDED ABSTRACTS OF THE 2019 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, 2019,
  • [2] Multimedia abstract machine
    Shih, TK
    INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84
  • [3] AN ABSTRACT MACHINE SIMULATOR
    LEE, MC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 438 : 129 - 141
  • [4] THE CATEGORICAL ABSTRACT MACHINE
    COUSINEAU, G
    CURIEN, PL
    MAUNY, M
    SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (02) : 173 - 202
  • [5] The Session Abstract Machine
    Caires, Luis
    Toninho, Bernardo
    PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, 2024, 14576 : 206 - 235
  • [6] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [7] The Vienna Abstract Machine
    Krall, A
    JOURNAL OF LOGIC PROGRAMMING, 1996, 29 (1-3): : 85 - 106
  • [8] THE LINEAR ABSTRACT MACHINE
    LAFONT, Y
    THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 157 - 180
  • [9] The Vienna abstract machine
    Krall, Andreas
    Journal of Logic Programming, 29 (1-3): : 85 - 106
  • [10] ABSTRACT MACHINE FOR LDL
    CHIMENTI, D
    GAMBOA, R
    KRISHNAMURTHY, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 416 : 153 - 168
12345