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] Zen and the Abstract Machine of Knitting
    von Busch, Otto
    TEXTILE-CLOTH AND CULTURE, 2013, 11 (01): : 6 - 19
  • [2] An experiment in abstract machine design
    Diehl, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1997, 27 (01): : 49 - 62
  • [3] 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
  • [4] Quantum circuit oracles for Abstract Machine computations
    Hines, Peter
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (11-13) : 1501 - 1520
  • [5] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
    Biernacka, Malgorzata
    Charatonik, Witold
    Drab, Tomasz
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
  • [6] A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
    Montenegro, Manuel
    Pena, Ricardo
    Segura, Clara
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 : 167 - 182
  • [7] A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
    Montenegro, Manuel
    Pena, Ricardo
    Segura, Clara
    INFORMATION AND COMPUTATION, 2014, 235 : 3 - 35
  • [8] Refunctionalization of Abstract Abstract Machines
    Wei, Guannan
    Decker, James
    Rompf, Tiark
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [9] Refunctionalization of Abstract Abstract Machines Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
    Wei, Guannan
    Decker, James
    Rompf, Tiark
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
  • [10] Optimizing Abstract Abstract Machines
    Johnson, J. Ian
    Labich, Nicholas
    Might, Matthew
    Van Horn, David
    ACM SIGPLAN NOTICES, 2013, 48 (09) : 443 - 454
12345