文章基本信息

标题：The GP Programming System
本地全文：下载
作者：Greg Manning ; Detlef Plump
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2008
卷号：10
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We describe the programming system for the graph-transformation language GP, focusing on the implementation of its compiler and abstract machine. We also compare the system's performance with other graph-transformation systems. The GP language is based on conditional rule schemata and comes with a simple formal semantics which maps input graphs to sets of output graphs. The implementation faithfully matches the semantics by using backtracking and allowing to compute all possible results for a given input.