Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.

Sommario

Graph languages.- Graph transformation formalisms.- Parallel independence and conflicts.- Graph conditions and verification.

Riassunto

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.

Dettagli sul prodotto

• Con la collaborazione di: Leen Lambers (Editore), Jens Weber (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 29.05.2018
• EAN: 9783319929903
• ISBN: 978-3-31-992990-3
• Pagine: 179
• Dimensioni: 156 mm x 235 mm x 12 mm
• Peso: 307 g
• Illustrazioni: XVI, 179 p. 60 illus.
• Serie: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; C, Data Science, Algorithms, Datenbanken, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, computer science, Discrete Mathematics in Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Data structures (Computer science), Data Structures, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Formal Languages and Automata Theory, Compilers and Interpreters