TY - UNPD A1 - Schmidt-Schauß, Manfred A1 - Dallmeyer, Nils T1 - Space improvements and equivalences in a polymorphically typed functional core language: context lemmas and proofs T2 - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 57 [version 2] N2 - We explore space improvements in LRP, a polymorphically typed call-by-need functional core language. A relaxed space measure is chosen for the maximal size usage during an evaluation. It Abstracts from the details of the implementation via abstract machines, but it takes garbage collection into account and thus can be seen as a realistic approximation of space usage. The results are: a context lemma for space improving translations and for space equivalences; all but one reduction rule of the calculus are shown to be space improvements, and the exceptional one, the copy-rule, is shown to increase space only moderately. Several further program transformations are shown to be space improvements or space equivalences, in particular the translation into machine expressions is a space equivalence. These results are a step Forward in making predictions about the change in runtime space behavior of optimizing transformations in callbyneed functional languages. T3 - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 57 [V2] Y1 - 2017 UR - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/48623 UR - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-486238 UR - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-57-v2.pdf IS - 30th october 2017 PB - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology CY - Frankfurt am Main ER -