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 条

[31] An abstract machine for memory management
Walton, CD
TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 88 - 96
[32] Abstract Machine: Humanities GIS
Mitchell, Peta
AMERICAN BOOK REVIEW, 2016, 37 (06) : 11 - 12
[33] The Linear Logical Abstract Machine
Bonelli, Eduardo
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 158 (99-121) : 99 - 121
[34] An experiment in abstract machine design
Diehl, S
SOFTWARE-PRACTICE & EXPERIENCE, 1997, 27 (01): : 49 - 62
[35] Abstract surrealism: the new york schoolers' 'Personalized Surrealism'
Erkan, Ekin
JOURNAL OF AESTHETICS & CULTURE, 2024, 16 (01):
[36] A GHC ABSTRACT MACHINE AND INSTRUCTION SET
LEVY, J
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 157 - 171
[37] LAM: Another prolog abstract machine
Li, XN
Yao, YY
1996 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING - CONFERENCE PROCEEDINGS, VOLS I AND II: THEME - GLIMPSE INTO THE 21ST CENTURY, 1996, : 310 - 313
[38] THE PANDORA ABSTRACT MACHINE - AN EXTENSION OF JAM
BAHGAT, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 569 : 83 - 103
[39] Correct abstract machine for safe ambients
Hirschkoff, D
Pous, D
Sangiorgi, D
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2005, 3454 : 17 - 32
[40] AN ABSTRACT MACHINE FOR THE IMPLEMENTATION OF PARLOG ON UNIPROCESSORS
GREGORY, S
FOSTER, IT
BURT, AD
RINGWOOD, GA
NEW GENERATION COMPUTING, 1989, 6 (04) : 389 - 420

← 1 2 3 4 5 →