menu 简单麦麦

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

上传于 2020-03-02 20次下载 3398次围观
标题(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)

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