3706 search results - page 130 / 742 » The Transformational Approach to Program Development |
IDEAS
2005
IEEE
15 years 3 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...
103
click to vote
PLDI
2011
ACM
14 years 22 days 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...
SAC
2008
ACM
14 years 9 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...
SEFM
2008
IEEE
15 years 4 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 ...
ICPPW
2003
IEEE
15 years 3 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 ...