331 search results - page 4 / 67 » Abstract Interpretation of Graph Transformation |
DAGSTUHL
2004
14 years 11 months ago
2004
49
Voted
ENTCS
2006
14 years 9 months ago
2006
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
GG
2004
Springer
15 years 3 months ago
2004
Springer
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...
ENTCS
2006
14 years 9 months ago
2006
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...