LEADER 03151nam  22006735  450 
001 9910483082503321
005 20251226203149.0
010   $a3-540-46845-5
024 7 $a10.1007/11894100
035   $a(CKB)1000000000283761
035   $a(SSID)ssj0000316592
035   $a(PQKBManifestationID)11923488
035   $a(PQKBTitleCode)TC0000316592
035   $a(PQKBWorkID)10275355
035   $a(PQKB)11597998
035   $a(DE-He213)978-3-540-46845-5
035   $a(MiAaPQ)EBC3068638
035   $a(PPN)123139139
035   $a(BIP)34164418
035   $a(BIP)13678558
035   $a(EXLCZ)991000000000283761
100   $a20100301d2006      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCentral European Functional Programming School $eFirst Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /$fby Zoltán Horváth
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (VII, 257 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4164
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-46843-9 
320   $aIncludes bibliographical references and index.
327   $aGeneric Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box.
330   $aThis volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4164
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aSoftware Engineering
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615 14$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
676   $a005.11
701   $aHorvath$b Zoltan$f1962-$01238511
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483082503321
996   $aCentral European Functional Programming School$92874282
997   $aUNINA