Graph Transformations
From MaRDI portal
Publication:5292610
DOI10.1007/b100934zbMath1116.68382OpenAlexW4214712303MaRDI QIDQ5292610
Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)
Related Items (4)
A graph-based generic type system for object-oriented programs ⋮ A categorical framework for the transformation of object-oriented systems: models and data ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Graph-Based Object-Oriented Hoare Logic
This page was built for publication: Graph Transformations