LEADER 03913nam  22007575  450 
001 996466250303316
005 20200630095131.0
010   $a3-642-28869-3
024 7 $a10.1007/978-3-642-28869-2
035   $a(CKB)3360000000365947
035   $a(SSID)ssj0000666295
035   $a(PQKBManifestationID)11367690
035   $a(PQKBTitleCode)TC0000666295
035   $a(PQKBWorkID)10682841
035   $a(PQKB)10418665
035   $a(DE-He213)978-3-642-28869-2
035   $a(MiAaPQ)EBC3069950
035   $a(PPN)168313081
035   $a(EXLCZ)993360000000365947
100   $a20120321d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages and Systems$b[electronic resource] $e21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /$fedited by Helmut Seidl
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XV, 602 p.) 
225 1 $aProgramming and Software Engineering ;$v7211
300   $aInternational conference proceedings.
311   $a3-642-28868-5 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
410  0$aProgramming and Software Engineering ;$v7211
606   $aSoftware engineering
606   $aComputer communication systems
606   $aComputer logic
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aComputer logic.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a005.1
702   $aSeidl$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS (Conference)$f(2012 :$eTallinn, Estonia)
906   $aBOOK
912   $a996466250303316
996   $aProgramming Languages and Systems$9772032
997   $aUNISA