331 search results - page 11 / 67 » Abstract Interpretation of Graph Transformation |
TAGT
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We investigate and compare four variants of the doublepushout approach to graph transformation. Besides the traditional approach with arbitrary matching and injective rig...
108
click to vote
VL
2009
IEEE
15 years 4 months ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...
105
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
GG
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...