On Optimising Shape-Generic Array Programs using Symbolic Structural Information.
Title | On Optimising Shape-Generic Array Programs using Symbolic Structural Information. |
Publication Type | Journal Article |
Year of Publication | 2007 |
Authors | Trojahner, K, Grelck, C, Scholz, S-B |
Bibtex:
@article {533, title = {On Optimising Shape-Generic Array Programs using Symbolic Structural Information.}, year = {2007}, note = {In: Z. Horv{\'a}th, V. Zs{\'o}k (eds.): Implementation and Application of Functional Languages 18th International Symposium (IFL{\textquoteright}06). Budapest, Hungary, September 4-6, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4449. Berlin: Springer 2007, 1-18 [ISBN 978-3-540-74129-9]}, author = {Trojahner, K. and Grelck, C. and S.-B. Scholz} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact