LEADER 03477nam  22007695  450 
001 996466065203316
005 20230406010024.0
010   $a3-642-24452-1
024 7 $a10.1007/978-3-642-24452-0
035   $a(CKB)2550000000053096
035   $a(SSID)ssj0000609965
035   $a(PQKBManifestationID)11388409
035   $a(PQKBTitleCode)TC0000609965
035   $a(PQKBWorkID)10623072
035   $a(PQKB)10920934
035   $a(DE-He213)978-3-642-24452-0
035   $a(MiAaPQ)EBC3067358
035   $a(PPN)156309114
035   $a(EXLCZ)992550000000053096
100   $a20110926d2011      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] $e20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers /$fedited by Sven-Bodo Scholz, Olaf Chitil
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 291 p. 84 illus., 5 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5836
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-24451-3 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5836
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aComputer programming
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
606   $aProgramming Techniques
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.1015113
702   $aScholz$b Sven-Bodo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aChitil$b Olaf$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Symposium on Implementation and Application of Functional Languages
906   $aBOOK
912   $a996466065203316
996   $aImplementation and Application of Functional Languages$9772664
997   $aUNISA