Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

Higher order demand propagation
Pape, Dirk ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

HaupttitelHigher order demand propagation
AutorPape, Dirk
Institution/KörperschaftUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
Seitenzahl29 S.
Schriftenreihe Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,15
DDC004 Datenverarbeitung; Informatik
ZusammenfassungAbstract.
In this report a new backward strictness analysis for functional languages
is presented. It is called higher order demand propagation and is applicable
to a realistic non-strict functional language, which has a polymorphic
type system and supports higher order functions and user definable algebraic
data types. This report defines a semantics for higher order demand propagation
and relates it to the standard semantics of the functional language. Each
definition in a program is mapped to a demand propagator, which is a higher
order function, that propagates context demands to function arguments. The
strictness information deduced by the analysis is very accurate, because
demands can actually be constructed during the analysis. These demands conform
better to the analysed functions than abstract values, which are constructed
alone with respect to the type information like in other existing
strictness analyses. The richness of the semantic domains of higher order
demand propagation makes it possible to express generalised strictness information
for higher order functions even across module boundaries. An
approach to integrate the higher order demand propagation analysis into an
existing compiler for a lazy functional language is sketched at the end of the
report.
Dokumente
PDF-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
 
Fachbereich/EinrichtungFB Mathematik und Informatik
Arbeitsbereich/InstitutInstitut für Informatik
Erscheinungsjahr1998
Dokumententyp/-SammlungenKarten
SpracheEnglisch
Rechte Nutzungsbedingungen
Erstellt am14.04.2009 - 08:23:36
Letzte Änderung23.01.2014 - 16:21:22
 
Statische URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001559
Zugriffsstatistik
 

LOADING...