103 search results - page 2 / 21 » Termination Criteria for Model Transformation |
JACIII
2006
13 years 4 months ago
2006
PLILP
1992
Springer
13 years 8 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
IANDC
2008
13 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
IMR
2004
Springer
13 years 10 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...