Sciweavers

4074 search results - page 1 / 815
» Abstract Graph Transformation
Sort
View
ECEASST
2006
95views more  ECEASST 2006»
13 years 11 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica
ENTCS
2008
129views more  ENTCS 2008»
13 years 11 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
GG
2004
Springer
14 years 4 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 11 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