644 search results - page 5 / 129 » Graph structured program evolution |
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...
116
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
106
click to vote
ECEASST
2006
14 years 11 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
ENTCS
2007
14 years 11 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...