Implementation and Application of Functional Languages - 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Table des matières

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.

Détails du produit

• Collaboration: Andrew Butterfield (Editeur), Clemens Grelck (Editeur), Frank Huch (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 27.12.2006
• EAN: 9783540691747
• ISBN: 978-3-540-69174-7
• Pages: 231
• Illustrations: IX, 231 p.
• Thèmes: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Langages de programmation; C, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Computer programming / software engineering, Computer architecture & logic design, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Theorem Proving, server-side Web programming, programming languages implementation