LEADER 03171nam  22007215  450 
001 9910483863703321
005 20251226203451.0
010   $a3-319-26529-6
024 7 $a10.1007/978-3-319-26529-2
035   $a(CKB)4340000000001212
035   $a(SSID)ssj0001599563
035   $a(PQKBManifestationID)16305991
035   $a(PQKBTitleCode)TC0001599563
035   $a(PQKBWorkID)14892282
035   $a(PQKB)11037967
035   $a(DE-He213)978-3-319-26529-2
035   $a(MiAaPQ)EBC6301656
035   $a(MiAaPQ)EBC5576385
035   $a(Au-PeEL)EBL5576385
035   $a(OCoLC)932132339
035   $a(PPN)190884630
035   $a(EXLCZ)994340000000001212
100   $a20151208d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages and Systems $e13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /$fedited by Xinyu Feng, Sungwoo Park
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIX, 506 p. 133 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9458
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-319-26528-8 
330   $aThis book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v9458
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aComputer science
606   $aMachine theory
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aMachine theory.
615 14$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a005.13
702   $aFeng$b Xinyu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPark$b Sungwoo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483863703321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA