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 条
  • [31] The Linear Logical Abstract Machine
    Bonelli, Eduardo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 158 (99-121) : 99 - 121
  • [32] An experiment in abstract machine design
    Diehl, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1997, 27 (01): : 49 - 62
  • [33] A GHC ABSTRACT MACHINE AND INSTRUCTION SET
    LEVY, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 157 - 171
  • [34] LAM: Another prolog abstract machine
    Li, XN
    Yao, YY
    1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 310 - 313
  • [35] THE PANDORA ABSTRACT MACHINE - AN EXTENSION OF JAM
    BAHGAT, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 569 : 83 - 103
  • [36] Correct abstract machine for safe ambients
    Hirschkoff, D
    Pous, D
    Sangiorgi, D
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2005, 3454 : 17 - 32
  • [37] AN ABSTRACT MACHINE FOR THE IMPLEMENTATION OF PARLOG ON UNIPROCESSORS
    GREGORY, S
    FOSTER, IT
    BURT, AD
    RINGWOOD, GA
    NEW GENERATION COMPUTING, 1989, 6 (04) : 389 - 420
  • [38] THE ABSTRACT MACHINE AND IMPLEMENTATION OF PARALLEL PARLOG
    CRAMMOND, J
    NEW GENERATION COMPUTING, 1992, 10 (04) : 385 - 422
  • [39] A verified abstract machine for functional coroutines
    Crolard, Tristan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (212): : 1 - 17
  • [40] Programming with transactions and chemical abstract machine
    Ma, WL
    Johnson, CW
    Brent, RP
    SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 562 - 564
12345