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] Machine semantics - From causality to computational models
    Hines, Peter
    INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2008, 4 (03) : 249 - 271
  • [42] Non-Determinism and the Lawlessness of Machine Learning Code
    Cooper, A. Feder
    Frankle, Jonathan
    De Sa, Christopher
    PROCEEDINGS OF THE 2022 SYMPOSIUM ON COMPUTER SCIENCE AND LAW, CSLAW 2022, 2022, : 1 - 8
  • [43] Parametric Optimization of Reconfigurable Designs Using Machine Learning
    Kurek, Maciej
    Becker, Tobias
    Luk, Wayne
    RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, 2013, 7806 : 134 - 145
  • [44] TOWARDS A PARALLEL VIRTUAL MACHINE FOR FUNCTIONAL LOGIC PROGRAMMING
    Alqaddoumi, Abdulla
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 222 - 225
  • [45] A Survey of Statistical Machine Learning Elements in Genetic Programming
    Agapitos, Alexandros
    Loughran, Roisin
    Nicolau, Miguel
    Lucas, Simon
    O'Neill, Michael
    Brabazon, Anthony
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2019, 23 (06) : 1029 - 1048
  • [46] OPERATIONAL SEMANTICS-DIRECTED COMPILERS AND MACHINE ARCHITECTURES
    HANNAN, J
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (04): : 1215 - 1247
  • [47] A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
    Stoddart, Bill
    Lynas, Robert
    Zeyda, Frank
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (06) : 33 - 56
  • [48] A RATIONAL DECONSTRUCTION OF LANDIN'S SECD MACHINE WITH THE J OPERATOR
    Danvy, Olivier
    Millikin, Kevin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (04)
  • [49] Single Machine Job Sequencing With a Restricted Common Due Window
    Lin, Shih-Wei
    Ying, Kuo-Ching
    Wu, Wen-Jie
    Cheng, Chen-Yang
    IEEE ACCESS, 2019, 7 : 148741 - 148755
  • [50] WaveFunctionCollapse: Content Generation via Constraint Solving and Machine Learning
    Karth, Isaac
    Smith, Adam M.
    IEEE TRANSACTIONS ON GAMES, 2022, 14 (03) : 364 - 376
12345