The York Abstract Machine

被引：1
|
作者：
Manning, Greg [1 ]
Plump, Detlef [1 ]
机构：
[1] Univ York, Dept Comp Sci, York, N Yorkshire, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2008年 / 211卷
关键词：
Graph transformation; GP; abstract machines; nondeterminism; backtracking;
D O I：
10.1016/j.entcs.2008.04.045
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce the York Abstract Machine (YAM) for implementing the graph programming language GP and, potentially, other graph transformation languages. The advantages of an abstract machine over a direct interpreter for graph transformation rules are better efficiency, use as a common target for compiling both future versions of GP and other languages, and portability of GP programs to different platforms.
引用
收藏
页码：231 / 240
页数：10
相关论文
共 50 条
  • [41] THE ABSTRACT MACHINE AND IMPLEMENTATION OF PARALLEL PARLOG
    CRAMMOND, J
    NEW GENERATION COMPUTING, 1992, 10 (04) : 385 - 422
  • [42] A verified abstract machine for functional coroutines
    Crolard, Tristan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (212): : 1 - 17
  • [43] 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
  • [44] An abstract machine for parallel lazy evaluation
    Baker-Finch, C
    TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 153 - 161
  • [45] A distributed abstract machine for safe ambients
    Sangiorgi, D
    Valente, A
    AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 408 - 420
  • [46] ABSTRACT MACHINE THEORY AND DIRECT PERCEPTION
    SHAW, R
    TODD, J
    BEHAVIORAL AND BRAIN SCIENCES, 1980, 3 (03) : 400 - 401
  • [47] A Parallel Abstract Machine for the RPC Calculus
    Narita, Kensuke
    Nishizaki, Shin-ya
    INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT III, 2011, 253 : 320 - 332
  • [48] Programming an agent as abstract state machine
    Dobrowolski, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 173 - 182
  • [49] 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
  • [50] 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 - &
12345