Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

244 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Contributions.- A Framework for Point-Free Program Transformation.- Encoding Strategies in the Lambda Calculus with Interaction Nets.- Proof Tool Support for Explicit Strictness.- A Rational Deconstruction of Landin's J Operator.- A Dependently Typed Framework for Static Analysis of Program Execution Costs.- Accurate Step Counting.- The Implementation of iData.- A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.- Polytypic Syntax Tree Operations.- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.- With-Loop Fusion for Data Locality and Parallelism.- A Document-Centered Environment for Haskell.- A Binding Scope Analysis for Generic Programs on Arrays.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540691747
• Sprache: Englisch
• Erscheinungsdatum: 27.12.2006
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Frank Huch, Clemens Grelck, Andrew Butterfield