Dokumentenserver der Freien Universität Berlin

Objekt-Metadaten

The safety of higher order demand propagation
Pape, Dirk ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

HaupttitelThe safety of higher order demand propagation
AutorPape, Dirk
Institution/KörperschaftUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
Seitenzahl21 S.
Schriftenreihe Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,16
DDC004 Datenverarbeitung; Informatik
ZusammenfassungHigher Order Demand Propagation as proposed in [Pa98] provides a
non-standard denotational semantics for a realistic functional language. This
semantics can be used to deduce generalised strictness information for higher
order polymorphic functions. This report provides the formal proof for the correctness
of this strictness information with respect to the non-strict standard
semantics.
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:35:34
Letzte Änderung23.01.2014 - 16:21:22
 
Statische URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001566
Zugriffsstatistik
 

LOADING...