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 条
  • [21] The reflective nitrO abstract machine
    Ortin, F
    Cueva, JM
    Martinez, AB
    ACM SIGPLAN NOTICES, 2003, 38 (06) : 40 - 49
  • [22] An evolving algebra abstract machine
    DelCastillo, G
    Durdanovic, I
    Glasser, U
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 191 - 214
  • [23] Abstract machine and structural availability
    Computer Science Department, SUN Yat-sen University, Guangzhou 510275, China
    不详
    WSEAS Trans. Comput., 2006, 5 (870-877):
  • [24] AN ABSTRACT MACHINE FOR CLP(R)
    JAFFAR, J
    STUCKEY, PJ
    MICHAYLOV, S
    YAP, RHC
    SIGPLAN NOTICES, 1992, 27 (07): : 128 - 139
  • [25] AN ABSTRACT MACHINE FOR SYMBOLIC COMPUTATION
    OVERHEU, DL
    JOURNAL OF THE ACM, 1966, 13 (03) : 444 - &
  • [26] AN ABSTRACT CONCURRENT MACHINE FOR REWRITING
    DERSHOWITZ, N
    LINDENSTRAUSS, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 318 - 331
  • [27] The biochemical abstract machine BIOCHAM
    Chabrier-Rivier, N
    Fages, F
    Soliman, S
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, 2005, 3082 : 172 - 191
  • [28] Zen and the Abstract Machine of Knitting
    von Busch, Otto
    TEXTILE-CLOTH AND CULTURE, 2013, 11 (01): : 6 - 19
  • [29] An abstract machine for memory management
    Walton, CD
    TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 88 - 96
  • [30] Abstract Machine: Humanities GIS
    Mitchell, Peta
    AMERICAN BOOK REVIEW, 2016, 37 (06) : 11 - 12
12345