A Binding Scope Analysis for Inferring Array Shapes.
Title | A Binding Scope Analysis for Inferring Array Shapes. |
Publication Type | Journal Article |
Year of Publication | 2006 |
Authors | Grelck, C, Scholz, S-B, Shafarenko, A |
Bibtex:
@article {567, title = {A Binding Scope Analysis for Inferring Array Shapes.}, year = {2006}, note = {In: A. Butterfield, C. Grelck, F. Huch (eds.): Implementation and Application of Functional Languages, 17th International Workshop (IFL{\textquoteright}05). Dublin, Ireland, September 19-21, 2005. Revised Selected Papers. Lecture Notes in Computer Science 4015. Berlin: Springer 2006, 212-230 [ISBN 978-3-540-69174-7]}, author = {Grelck, C. and S.-B. Scholz and Shafarenko, A.} }
- 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