Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz. On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. In Zoltán Horváth, Viktória Zsók, Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Volume 4449 of Lecture Notes in Computer Science, pages 1-18, Springer, 2006. [doi]
Abstract is missing.