2000 search results - page 172 / 400 » Program Transformation and Proof Transformation |
125
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...
145
click to vote
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
139
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
142
Voted
DFT
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
98
Voted
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...