125
click to vote
IFL
15 years 6 months ago
2001 Springer 
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
115
click to vote
IFL
15 years 6 months ago
2001 Springer 
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
119
click to vote
IFL
15 years 6 months ago
2001 Springer 
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
IFL
15 years 6 months ago
2001 Springer 
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
104
click to vote
IFL
15 years 6 months ago
2001 Springer 
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
|
Formal Methods