Efficient strictness analysis of Haskell in Haskell using abstract reduction

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.

Metadaten
Verfasserangaben:	Marko Schütz, Manfred Schmidt-Schauß ORCiD GND, Sven Eric Panitz
URN:	urn:nbn:de:hebis:30-8964
URL:	http://www.ki.informatik.uni-frankfurt.de/papers/marko/abstractg.ps
Titel des übergeordneten Werkes (Englisch):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 9
Schriftenreihe (Bandnummer):	Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (9)
Verlag:	Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
Verlagsort:	Frankfurt [am Main]
Dokumentart:	Arbeitspapier
Sprache:	Englisch
Jahr der Fertigstellung:	1997
Jahr der Erstveröffentlichung:	1997
Veröffentlichende Institution:	Universitätsbibliothek Johann Christian Senckenberg
Datum der Freischaltung:	12.05.2005
HeBIS-PPN:	190647574
Institute:	Informatik und Mathematik / Informatik
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Lizenz (Deutsch):	Deutsches Urheberrecht

Open Access