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 6 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 1 days 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