Graph Transformation  17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings /  [electronic resource] : 
edited by Russ Harmer, Jens Kosiol. 
 - 1st ed. 2024. 
 - XII, 239 p. 82 illus., 36 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  14774   1611-3349 ; .
 - Lecture Notes in Computer Science,  14774  .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031642852 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-64285-2  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Data structures (Computer science).<br/>Information theory.<br/>Computer programming.<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Algorithms.<br/>Discrete Mathematics in Computer Science.<br/>Data Structures and Information Theory.<br/>Programming Techniques.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Design and Analysis of Algorithms.
<br/><br/><label>LC Class. No.: </label>QA76.9.M35 QA297.4 
<br/><br/><label>Dewey Class. No.: </label>004.0151