TY  - UNPD
A1  - Schütz, Marko
A1  - Schmidt-Schauß, Manfred
A1  - Panitz, Sven Eric
T1  - Efficient strictness analysis of Haskell in Haskell using abstract reduction
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 9
N2  - The extraction of strictness information marks an indispensable element of an efficient compilation of lazy functional languages like Haskell. Based on the method of abstract reduction we have developed an e cient strictness analyser for a core language of Haskell. It is completely written in Haskell and compares favourably with known implementations. The implementation is based on the G#-machine, which is an extension of the G-machine that has been adapted to the needs of abstract reduction.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 9 
Y1  - 1997
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4603
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-8964
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/marko/abstractg.ps
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  -