LEADER 04162nam  22007935  450 
001 996466275103316
005 20230329180928.0
010   $a3-642-34407-0
024 7 $a10.1007/978-3-642-34407-7
035   $a(CKB)3400000000102812
035   $a(SSID)ssj0000810204
035   $a(PQKBManifestationID)11438799
035   $a(PQKBTitleCode)TC0000810204
035   $a(PQKBWorkID)10826675
035   $a(PQKB)10820640
035   $a(DE-He213)978-3-642-34407-7
035   $a(MiAaPQ)EBC6287393
035   $a(MiAaPQ)EBC5594513
035   $a(Au-PeEL)EBL5594513
035   $a(OCoLC)1074331994
035   $a(PPN)168326868
035   $a(EXLCZ)993400000000102812
100   $a20121116d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Functional Languages$b[electronic resource] $e23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /$fedited by Andy Gill, Jurriaan Hage
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 181 p. 68 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7257
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-34406-2 
327   $aFunctional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs for Embedded Languages -- From Stack Traces to Lazy Rewriting Sequences -- Model Based Testing with Logical Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized Arrows.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7257
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer programming
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
676   $a005.13
702   $aGill$b Andy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHage$b Jurriaan$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Symposium on Implementation and Application of Functional Languages
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466275103316
996   $aImplementation and Application of Functional Languages$9772664
997   $aUNISA