000 04206nam a22006855i 4500
001 978-3-031-64285-2
003 DE-He213
005 20251030112609.0
007 cr nn 008mamaa
008 240702s2024 sz | s |||| 0|eng d
020 _a9783031642852
_9978-3-031-64285-2
024 7 _a10.1007/978-3-031-64285-2
_2doi
050 4 _aQA76.9.M35
050 4 _aQA297.4
072 7 _aUYAM
_2bicssc
072 7 _aPBD
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYAM
_2thema
072 7 _aPBD
_2thema
245 1 0 _aGraph Transformation
_h[electronic resource] :
_b17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
_cedited by Russ Harmer, Jens Kosiol.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXII, 239 p. 82 illus., 36 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14774
505 0 _a -- 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.
520 _aThis 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.
650 0 _aComputer science
_xMathematics.
_964041
650 0 _aDiscrete mathematics.
650 0 _aData structures (Computer science).
_966708
650 0 _aInformation theory.
_957783
650 0 _aComputer programming.
650 0 _aSoftware engineering.
_933953
650 0 _aCompilers (Computer programs).
_966172
650 0 _aAlgorithms.
_958677
650 1 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aData Structures and Information Theory.
_966709
650 2 4 _aProgramming Techniques.
_965517
650 2 4 _aSoftware Engineering.
_933953
650 2 4 _aCompilers and Interpreters.
_966173
650 2 4 _aDesign and Analysis of Algorithms.
_967299
700 1 _aHarmer, Russ.
_eeditor.
_0(orcid)0000-0002-0817-1029
_1https://orcid.org/0000-0002-0817-1029
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_979887
700 1 _aKosiol, Jens.
_eeditor.
_0(orcid)0000-0003-4733-2777
_1https://orcid.org/0000-0003-4733-2777
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_979888
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031642845
776 0 8 _iPrinted edition:
_z9783031642869
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14774
856 4 0 _uhttps://doi.org/10.1007/978-3-031-64285-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c61275
_d61275