Graph Transformation : 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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 14774Verlag: Cham : Springer Nature Switzerland, 2024Verlag: Cham : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XII, 239 p. 82 illus., 36 illus. in color.)ISBN:

9783031642852

Schlagwörter:

Andere physische Formen: 9783031642845 | 9783031642869 | Erscheint auch als: 9783031642845 Druck-Ausgabe | Erscheint auch als: 9783031642869 Druck-AusgabeDDC-Klassifikation:

004.0151 23

DOI: DOI: 10.1007/978-3-031-64285-2Online-Ressourcen:

Zugang im Netz des KIT

Zusammenfassung: -- 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.Zusammenfassung: 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.PPN: PPN: 1894777301Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Exemplare ( 0 )

Dieser Titel hat keine Exemplare