E-Book, Englisch, Band 2312, 196 Seiten, eBook
Arts / Mohnen Implementation of Functional Languages
Erscheinungsjahr 2003
ISBN: 978-3-540-46028-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
E-Book, Englisch, Band 2312, 196 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-46028-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
