LEADER 03616nam  22006495  450 
001 9910483376803321
005 20200702234752.0
010   $a3-319-47958-X
024 7 $a10.1007/978-3-319-47958-3
035   $a(CKB)3710000000909176
035   $a(DE-He213)978-3-319-47958-3
035   $a(MiAaPQ)EBC6307314
035   $a(MiAaPQ)EBC5595204
035   $a(Au-PeEL)EBL5595204
035   $a(OCoLC)960697759
035   $a(PPN)196323444
035   $a(EXLCZ)993710000000909176
100   $a20161008d2016      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages and Systems $e14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /$fedited by Atsushi Igarashi
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVII, 465 p. 100 illus.) 
225 1 $aProgramming and Software Engineering ;$v10017
311   $a3-319-47957-1 
327   $aSemantics, logics, and foundational theory -- Design of languages type systems, and foundational calculi -- Domain-specific languages.-Compilers, interpreters, and abstract machines -- Program derivation, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint, probabilistic and quantum programming -- Software security; concurrency and parallelism -- Tools for programming and implementation.
330   $aThis book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation. .
410  0$aProgramming and Software Engineering ;$v10017
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
676   $a005.13
702   $aIgarashi$b Atsushi$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483376803321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA