Sciweavers

874 search results - page 2 / 175
» Graph Transformation in a Nutshell
Sort
View
GG
2004
Springer
13 years 10 months ago
Parallel Independence in Hierarchical Graph Transformation
Abstract. Hierarchical graph transformation as defined in [1, 2] extends double-pushout graph transformation in the spirit of term rewriting: Graphs are provided with hierarchical...
Annegret Habel, Berthold Hoffmann
ENTCS
2006
151views more  ENTCS 2006»
13 years 5 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
ENTCS
2006
161views more  ENTCS 2006»
13 years 5 months ago
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
Hartmut Ehrig, Karsten Ehrig
TAGT
1998
Springer
184views Graph Theory» more  TAGT 1998»
13 years 9 months ago
A Framework for Adding Packages to Graph Transformation Approaches
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
Giorgio Busatto, Gregor Engels, Katharina Mehner, ...