2000 search results - page 134 / 400 » Program Transformation and Proof Transformation |
133
click to vote
PARLE
1993
15 years 7 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
126
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
129
click to vote
ASM
2003
ASM
15 years 8 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
132
Voted
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
115
Voted
ICSQP
1994
15 years 4 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...