E-Book, Englisch, 231 Seiten, eBook
Butterfield / Grelck / Huch Implementation and Application of Functional Languages
2006
ISBN: 978-3-540-69175-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
E-Book, Englisch, 231 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-540-69175-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.