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

List of contents

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.

Product details

• Assisted by: Andrew Butterfield (Editor), Clemens Grelck (Editor), Frank Huch (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 27.12.2006
• EAN: 9783540691747
• ISBN: 978-3-540-69174-7
• No. of pages: 231
• Illustrations: IX, 231 p.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; 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