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 条
  • [21] An abstract machine for the Kell Calculus
    Bidinger, P
    Schmitt, A
    Stefani, JB
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 31 - 46
  • [22] ABSTRACT SHAPE RECOGNITION BY MACHINE
    STEVENS, ME
    COMMUNICATIONS OF THE ACM, 1961, 4 (11) : 486 - 486
  • [23] The reflective nitrO abstract machine
    Ortin, F
    Cueva, JM
    Martinez, AB
    ACM SIGPLAN NOTICES, 2003, 38 (06) : 40 - 49
  • [24] An evolving algebra abstract machine
    DelCastillo, G
    Durdanovic, I
    Glasser, U
    COMPUTER SCIENCE LOGIC, 1996, 1092 : 191 - 214
  • [25] Abstract machine and structural availability
    Computer Science Department, SUN Yat-sen University, Guangzhou 510275, China
    不详
    WSEAS Trans. Comput., 2006, 5 (870-877):
  • [26] AN ABSTRACT MACHINE FOR CLP(R)
    JAFFAR, J
    STUCKEY, PJ
    MICHAYLOV, S
    YAP, RHC
    SIGPLAN NOTICES, 1992, 27 (07): : 128 - 139
  • [27] AN ABSTRACT MACHINE FOR SYMBOLIC COMPUTATION
    OVERHEU, DL
    JOURNAL OF THE ACM, 1966, 13 (03) : 444 - &
  • [28] AN ABSTRACT CONCURRENT MACHINE FOR REWRITING
    DERSHOWITZ, N
    LINDENSTRAUSS, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 318 - 331
  • [29] The biochemical abstract machine BIOCHAM
    Chabrier-Rivier, N
    Fages, F
    Soliman, S
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, 2005, 3082 : 172 - 191
  • [30] Zen and the Abstract Machine of Knitting
    von Busch, Otto
    TEXTILE-CLOTH AND CULTURE, 2013, 11 (01): : 6 - 19
12345