Navigation/Menü: Links auf weitere Seiten dieser Website
Objekt-Metadaten
| The safety of higher order demand propagation Pape, Dirk |
| Haupttitel | The safety of higher order demand propagation |
| Autor | Pape, Dirk |
| Seitenzahl | 21 S. |
| Schriftenreihe | Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,16 |
| Fachbereich/Einrichtung | FB Mathematik und Informatik |
| Arbeitsbereich/Institut | Institut für Informatik |
| Erscheinungsjahr | 1998 |
| Dokumente | PDF-Datei
Falls Ihr Browser eine Datei nicht öffnen kann, die Datei zuerst herunterladen und dann öffnen.
|
| DDC | 004 Datenverarbeitung; Informatik |
| Dokumententyp/-Sammlungen | Report |
| Medientyp/Format | Text |
| Abstract | Higher 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. |
| Sprache | Englisch |
| Rechte | Nutzungsbedingungen |
| Zugriffstatistik | |
| Statische URL | http://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001566 |
| Erstellt am | 14.04.2009 - 10:35:34 |
| Letzte Änderung | 04.04.2013 - 09:33:27 |
