menu 简单麦麦
account_circle

图表转换:第12届国际会议,ICGT 2019,作为STAF 2019的一部分举行,荷兰埃因霍温,2019年7月15-16日,会议记录-Graph Transformation: 12th Inter

帮助2571人找到了他们想要的文件
上传于 2020-03-02 20次下载 3398次围观
文件编号:6316
文件详情
标题(title):Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
图表转换:第12届国际会议,ICGT 2019,作为STAF 2019的一部分举行,荷兰埃因霍温,2019年7月15-16日,会议记录
作者(author):Esther Guerra, Fernando Orejas
出版社(publisher):Springer International Publishing
大小(size):12 MB (12520295 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀



This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.
The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.


Table of contents :
Front Matter ....Pages i-x
Front Matter ....Pages 1-1
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction (Taichi Tomioka, Yutaro Tsunekawa, Kazunori Ueda)....Pages 3-20
Double-Pushout Rewriting in Context (Michael Löwe)....Pages 21-37
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs (Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer)....Pages 38-54
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars (Frank Drewes, Berthold Hoffmann, Mark Minas)....Pages 55-72
Front Matter ....Pages 73-73
Exploring Conflict Reasons for Graph Transformation Systems (Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer)....Pages 75-92
Unfolding Graph Grammars with Negative Application Conditions (Andrea Corradini, Maryam Ghaffari Saadat, Reiko Heckel)....Pages 93-110
Two-Level Reasoning About Graph Transformation Programs (Amani Makhlouf, Christian Percebois, Hanh Nhi Tran)....Pages 111-127
Front Matter ....Pages 129-129
Incremental (Unidirectional) Model Transformation with eMoflon::IBeX (Nils Weidmann, Anthony Anjorin, Patrick Robrecht, Gergely Varró)....Pages 131-140
Knowledge Representation and Update in Hierarchies of Graphs (Russ Harmer, Eugenia Oshurko)....Pages 141-158
Relating DNA Computing and Splitting/Fusion Grammars (Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye)....Pages 159-174
Front Matter ....Pages 175-175
Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules (Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer)....Pages 177-194
From Pattern Invocation Networks to Rule Preconditions (Nils Weidmann, Anthony Anjorin, Florian Stolte, Florian Kraus)....Pages 195-211
Hybrid Search Plan Generation for Generalized Graph Pattern Matching (Matthias Barkowsky, Holger Giese)....Pages 212-229
Back Matter ....Pages 231-231
-到底部了哦-
微信扫码支付
图表转换:第12届国际会议,ICGT 2019,作为STAF 2019的一部分举行,荷兰埃因霍温,2019年7月15-16日,会议记录-Graph Transformation: 12th Inter
支付金额: 共计:¥0.0

添加收藏

创建新合集