Implementation of Functional Languages

13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

204 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540435372
• Sprache: Englisch
• Erscheinungsdatum: 10.04.2002
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Thomas Arts, Markus Mohnen