Objekt-Metadaten

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

Main titleThe safety of higher order demand propagation
AuthorPape, Dirk
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages21 S.
Series Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,16
Classification (DDC)004 Data processing and Computer science
AbstractHigher 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.
Documents
PDF-Datei
If your browser can't open the file, please download the file first and then open it
 
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1998
Type of documentMaps
LanguageEnglish
Terms of use/Rights Nutzungsbedingungen
Created at2009-04-14 : 08:35:34
Last changed2014-01-23 : 04:21:22
 
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001566
Statistics
 

LOADING...