2000 search results - page 175 / 400 » Program Transformation and Proof Transformation |
161
Voted
AFP
2008
Springer
15 years 10 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
193
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
226
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
119
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
111
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de...