追踪
发表于 2025-3-23 13:11:17
http://reply.papertrans.cn/16/1530/152962/152962_11.png
太空
发表于 2025-3-23 14:10:28
Toward a calculus for abstract syntax trees,fects of their metaprograms. Of equal importance, metaprogramming requires an intuitive foundation that facilitates most frequent, natural manipulations of programs as data. In the past, the program transformation community has characterized well means for expressing pattern-matching and individual
MAZE
发表于 2025-3-23 18:28:40
Principled strength reduction,change operation ⊕, incrementalizes . with respect to ⊕, and adopts an incrementalized loop body to form a new loop that is more efficient. Three general optimizations are performed as part of the adoption; they systematically handle initializations, termination conditions, and final return values o
Affirm
发表于 2025-3-23 23:03:07
http://reply.papertrans.cn/16/1530/152962/152962_14.png
墙壁
发表于 2025-3-24 06:06:43
Predicative Semantics of Loops, the observations makes the obvious weakest fixed-point semantics of iterative constructs unacceptable. This paper proposes an alternative. We will see that this alternative semantics is monotone and implementable (feasible). Finally a programming theorem for iterative constructs is proposed, proved
弯曲道理
发表于 2025-3-24 10:25:42
Bedeutungsvielfalt von Augenblickenrent perspective, using a relational calculus to model both, problems and their solutions obtained from dynamic programming. This approach serves to shed new light on the different styles of dynamic programming, representing them by different search strategies of the tree-like space of partial solut
clarify
发表于 2025-3-24 13:20:04
http://reply.papertrans.cn/16/1530/152962/152962_17.png
Fecal-Impaction
发表于 2025-3-24 14:52:47
Alfred Bellebaum,Robert Hettlagesingle one, leading to an efficient program without intermediate data structures produced. In this paper, we report our on-going investigation on the design and implementation of an automatic transformation system HYLO which performs fusion transformation in a more systematic and more general way th
BURSA
发表于 2025-3-24 23:01:33
Bedeutungsvielfalt von Augenblickens paper the PEI formalism, which enables to take into account both the geometrical and functional aspects of programs. It provides a refinement calculus mainly used to transform the geometrical characteristics of parallel programs, and we show how it may apply on data parallel programs, in particula
蚊子
发表于 2025-3-25 02:08:01
https://doi.org/10.1007/978-3-642-91822-3. This is mainly due to the communication and synchronization that is necessary to manage distributed data correctly. This paper applies a methodology for the transformational derivation of parallel programs using data distribution algebras that enable an abstract description of data distribution is