LEADER 03300nam  22006495  450 
001 9910483376803321
005 20251226200254.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,$x2945-9168 ;$v10017
311 08$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,$x2945-9168 ;$v10017
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   $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