2000 search results - page 169 / 400 » Program Transformation and Proof Transformation |
132
click to vote
ICPPW
2003
IEEE
15 years 9 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 ...
132
click to vote
ASM
2003
ASM
15 years 9 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
118
Voted
SNPD
2003
15 years 5 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
123
click to vote
AAAI
1996
15 years 5 months ago
1996
We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
129
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...