Sciweavers

2 search results - page 1 / 1
» Merging compositions of array skeletons in SaC
Sort
View
PC
2006
84views Management» more  PC 2006»
13 years 11 months ago
Merging compositions of array skeletons in SaC
Clemens Grelck, Sven-Bodo Scholz
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
14 years 4 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner