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 条
  • [1] Abstract Expressionist New York
    Anfam, David
    BURLINGTON MAGAZINE, 2011, 153 (1297): : 281 - 283
  • [2] ABSTRACT EXPRESSIONIST NEW YORK
    McCaughey, Patrick
    TLS-THE TIMES LITERARY SUPPLEMENT, 2011, (5627): : 17 - 18
  • [3] Multimedia abstract machine
    Shih, TK
    INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84
  • [4] AN ABSTRACT MACHINE SIMULATOR
    LEE, MC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 438 : 129 - 141
  • [5] THE CATEGORICAL ABSTRACT MACHINE
    COUSINEAU, G
    CURIEN, PL
    MAUNY, M
    SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (02) : 173 - 202
  • [6] The Session Abstract Machine
    Caires, Luis
    Toninho, Bernardo
    PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, 2024, 14576 : 206 - 235
  • [7] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [8] The Vienna Abstract Machine
    Krall, A
    JOURNAL OF LOGIC PROGRAMMING, 1996, 29 (1-3): : 85 - 106
  • [9] THE LINEAR ABSTRACT MACHINE
    LAFONT, Y
    THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 157 - 180
  • [10] The Vienna abstract machine
    Krall, Andreas
    Journal of Logic Programming, 29 (1-3): : 85 - 106
12345