Bild från Syndetics
Implementation of Functional Languages [electronic resource] : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers / edited by Thomas Arts, Markus Mohnen.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Utgåva: 1st ed. 2002Beskrivning: VIII, 196 p. online resourceInnehållstyp: - text
- computer
- online resource
- 9783540460282
- 005.45 23
Innehåll:
Sized Types for Typing Eden Skeletons -- A Compilation Scheme for a Hierarchy of Array Types -- Optimizations on Array Skeletons in a Shared Memory Environment -- Theorem Proving for Functional Programmers -- Proving Correctness of Programs with IO —A Paradigm Comparison -- Proving the Correctness of the STG Machine -- Dynamic Cheap Eagerness -- A Polynomial-Cost Non-determinism Analysis -- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler -- Runtime Behavior of Conversion Interpretation of Subtyping -- A Generic Programming Extension for Clean.
Inga fysiska exemplar för denna post
Sized Types for Typing Eden Skeletons -- A Compilation Scheme for a Hierarchy of Array Types -- Optimizations on Array Skeletons in a Shared Memory Environment -- Theorem Proving for Functional Programmers -- Proving Correctness of Programs with IO —A Paradigm Comparison -- Proving the Correctness of the STG Machine -- Dynamic Cheap Eagerness -- A Polynomial-Cost Non-determinism Analysis -- Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler -- Runtime Behavior of Conversion Interpretation of Subtyping -- A Generic Programming Extension for Clean.
Licensed e-book