04206nam a22006855i 4500 978-3-031-64285-2 DE-He213 20251030112609.0 cr nn 008mamaa 240702s2024 sz | s |||| 0|eng d 9783031642852 978-3-031-64285-2 10.1007/978-3-031-64285-2 doi QA76.9.M35 QA297.4 UYAM bicssc PBD bicssc COM014000 bisacsh UYAM thema PBD thema Graph Transformation [electronic resource] : 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings / edited by Russ Harmer, Jens Kosiol. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XII, 239 p. 82 illus., 36 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14774 -- Graphs, logics and transformations for effective risk analysis. -- Theoretical Advances. -- Linear-Time Graph Programs for Unbounded-Degree Graphs. -- A Bigraph Paper of Sorts. -- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems. -- Extension and Restriction of Derivations in Adhesive Categories. -- Causal Graph Dynamics and Kan Extensions. -- Application Domains. -- The ‘Causality’ Quagmire for Formalised Bond Graphs. -- Localized RETE for Incremental Graph Queries. -- Using application conditions to rank graph transformations for graph repair. -- Deriving Delay-Robust Timed Graph Transformation System Models. -- Taint Analysis for Graph APIs Focusing on Broken Access Control. -- Tool and Blue Skies Presentations. -- Checking Transaction Isolation Violations with Graph Queries. -- Can I teach graph rewriting to my chatbot?. -- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models. This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024. The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations. Computer science Mathematics. 64041 Discrete mathematics. Data structures (Computer science). 66708 Information theory. 57783 Computer programming. Software engineering. 33953 Compilers (Computer programs). 66172 Algorithms. 58677 Discrete Mathematics in Computer Science. Data Structures and Information Theory. 66709 Programming Techniques. 65517 Software Engineering. 33953 Compilers and Interpreters. 66173 Design and Analysis of Algorithms. 67299 Harmer, Russ. editor. (orcid)0000-0002-0817-1029 https://orcid.org/0000-0002-0817-1029 edt http://id.loc.gov/vocabulary/relators/edt 79887 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 https://orcid.org/0000-0003-4733-2777 edt http://id.loc.gov/vocabulary/relators/edt 79888 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031642845 Printed edition: 9783031642869 Lecture Notes in Computer Science, 1611-3349 ; 14774 https://doi.org/10.1007/978-3-031-64285-2 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 61275 61275