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.

List of contents

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

Summary

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.

Product details

• Assisted by: Leen Lambers (Editor), Jens Weber (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.05.2018
• EAN: 9783319929903
• ISBN: 978-3-31-992990-3
• No. of pages: 179
• Dimensions: 156 mm x 235 mm x 12 mm
• Weight: 307 g
• Illustrations: XVI, 179 p. 60 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; 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