Graph transformation : 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings / Esther Guerra, Fernando Orejas (eds.).
ICGT (Conference) (12th : 2019 : Eindhoven, Netherlands); Guerra, Esther, editor.; Orejas, F. (Fernando), editor.; STAF (Federation of conferences) (2019 : Eindhoven, Netherlands), jointly held conference.
2019
QA166 .I24 2019eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Graph transformation : 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings / Esther Guerra, Fernando Orejas (eds.).
Meeting Name ICGT (Conference) (12th : 2019 : Eindhoven, Netherlands)
ISBN 9783030236113 (electronic book)
3030236110 (electronic book)
9783030236106
DOI https://doi.org/10.1007/978-3-030-23611-3
Published Cham : Springer, 2019.
Language English
Description 1 online resource (x, 231 pages) : illustrations.
Item Number 10.1007/978-3-030-23611-3 doi
Call Number QA166 .I24 2019eb
Dewey Decimal Classification 511/.5
Summary 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. -- Provided by publisher.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 22, 2019).
Added Author Guerra, Esther, editor.
Orejas, F. (Fernando), editor.
Added Meeting Name STAF (Federation of conferences) (2019 : Eindhoven, Netherlands), jointly held conference.
Series Lecture notes in computer science ; 11629.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
[I]. Theory: Introducing symmetry to graph rewriting systems with process abstraction / Taichi Tomioka, Yutaro Tsunekawa, and Kazunori Ueda
Double-pushout rewriting in context : rule composition and parallel independence / Michael Löwe
Adhesive subcategories of Functor categories with instantiation to partial triple graphs / Jens Kosiol, Lars Fritsche, Andy Schürr, and Gabriele Taentzer
Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars / Frank Drewes, Berthold Hoffmann, and Mark Minas.

[II]. Analysis and verification: Exploring conflict reasons for graph transformation systems / Leen Lambers, Jens Kosiol, Daniel Strüber, and Gabriele Taentzer
Unfolding graph grammars with negative application conditions / Andrea Corradini, Maryam Ghaffari Saadat, and Reiko Heckel
Two-level reasoning about graph transformation programs / Amani Makhlouf, Christian Percebois, and Hanh Nhi Tran.

[III]. Tools and applications: Incremental (unidirectional) model transformation with eMoflon::IBeX / Nils Weidmann, Anthony Anjorin, Patrick Robrecht, and Gergely Varró
Knowledge representation and update in hierarchies of graphs / Russ Harmer and Eugenia Oshurko
Relating DNA computing and splitting/fusion grammars / Hans-Jörg Kreowski, Sabine Kuske, and Aaron Lye.

[IV]. Transformation rules construction and matching: Constructing optimized validity-preserving application conditions for graph transformation rules / Nebras Nassar, Jens Kosiol, Thorsten Arendt, and Gabriele Taentzer
From pattern invocation networks to rule preconditions / Nils Weidmann, Anthony Anjorin, Florian Stolte, and Florian Kraus
Hybrid search plan generation for generalized graph pattern matching / Matthias Barkowsky and Holger Giese.

Browse Subjects

Show more subjects...

Statistics

from
to
Export