Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
by
Butterfield, Andrew. editor.
Title
:
Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Author
:
Butterfield, Andrew. editor.
ISBN
:
9783540691754
Physical Description
:
IX, 231 p. Also available online. online resource.
Series
:
Lecture Notes in Computer Science, 4015
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.
Subject Term
:
Computer science.
Logic design.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Added Author
:
Butterfield, Andrew.
Grelck, Clemens.
Huch, Frank.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 512143-1001 | QA76.7 -76.73 | Online Springer |