Sciweavers

IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
13 years 9 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