LEADER 03699nam 22007095 450 001 9910484557703321 005 20251226200127.0 010 $a3-540-69175-8 024 7 $a10.1007/11964681 035 $a(CKB)1000000000283878 035 $a(SSID)ssj0000318216 035 $a(PQKBManifestationID)11266624 035 $a(PQKBTitleCode)TC0000318216 035 $a(PQKBWorkID)10308614 035 $a(PQKB)11790223 035 $a(DE-He213)978-3-540-69175-4 035 $a(MiAaPQ)EBC3068502 035 $a(PPN)123140234 035 $a(BIP)34164632 035 $a(BIP)13947299 035 $a(EXLCZ)991000000000283878 100 $a20110215d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aImplementation and Application of Functional Languages $e17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /$fedited by Andrew Butterfield, Clemens Grelck, Frank Huch 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (IX, 231 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4015 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-69174-X 320 $aIncludes bibliographical references and index. 327 $aContributions -- 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. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4015 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.13 701 $aButterfield$b A$g(Andrew)$01756822 701 $aGrelck$b Clemens$0885770 701 $aHuch$b Frank$0904371 712 12$aInternational Workshop on Implementation and Application of Functional Languages 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484557703321 996 $aImplementation and application of functional languages$94203000 997 $aUNINA