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 条
  • [41] An abstract machine for parallel lazy evaluation
    Baker-Finch, C
    TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 153 - 161
  • [42] A distributed abstract machine for safe ambients
    Sangiorgi, D
    Valente, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 408 - 420
  • [43] ABSTRACT MACHINE THEORY AND DIRECT PERCEPTION
    SHAW, R
    TODD, J
    BEHAVIORAL AND BRAIN SCIENCES, 1980, 3 (03) : 400 - 401
  • [44] A Parallel Abstract Machine for the RPC Calculus
    Narita, Kensuke
    Nishizaki, Shin-ya
    INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT III, 2011, 253 : 320 - 332
  • [45] Programming an agent as abstract state machine
    Dobrowolski, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 173 - 182
  • [46] An Abstract Machine for Strong Call by Value
    Biernacka, Malgorzata
    Biernacki, Dariusz
    Charatonik, Witold
    Drab, Tomasz
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2020, 2020, 12470 : 147 - 166
  • [47] ABSTRACT MACHINE APPLIED FOR PHYSICAL SYSTEMS
    SKOWRONS.JM
    ZIEMBA, S
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES TECHNIQUES, 1967, 15 (01): : 1 - &
  • [48] An efficient abstract machine for safe ambients
    Hirschkoff, Daniel
    Pous, Damien
    Sangiorgi, Davide
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 71 (02): : 114 - 149
  • [49] Abstract machine design on a multithreaded architecture
    Németh, Z
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (06) : 705 - 716
  • [50] An Abstract Machine for the Old Value Retrieval
    Kosiuczenko, Piotr
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 229 - 247
12345