Sciweavers

7 search results - page 2 / 2
» ifl 2001
Sort
View
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
13 years 10 months ago
A Compilation Scheme for a Hierarchy of Array Types
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 ...
Dietmar Kreye
IFL
2001
Springer
137views Formal Methods» more  IFL 2001»
13 years 10 months ago
A Generic Programming Extension for Clean
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...
Artem Alimarine, Marinus J. Plasmeijer