3706 search results - page 130 / 742 » The Transformational Approach to Program Development |
155
click to vote
IDEAS
2005
IEEE
15 years 12 months ago
2005
IEEE
Traditional approaches to query processing aim at rewriting a given query into another more efficient one that uses less time and/or resources during the execution. There by, the...
193
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
166
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
162
click to vote
SEFM
2008
IEEE
16 years 22 days 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 ...
165
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
One approach to distributed parallel programming is to utilize self-migrating threads. Computations can be distributed first, and parallelized second. The first step produces a ...