3771 search results - page 38 / 755 » Subobject Transformation Systems |
129
Voted
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
213
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
148
click to vote
GI
2009
Springer
15 years 20 days ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
116
Voted
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
132
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
We propose two transformations on term rewrite systems (TRSs) based on reducing right hand sides: one related to the transformation order and a variant of dummy elimination. Under ...