LEADER 03510nam  22007335  450 
001 9910349390603321
005 20200702001938.0
010   $a3-030-02768-6
024 7 $a10.1007/978-3-030-02768-1
035   $a(CKB)4100000007158992
035   $a(DE-He213)978-3-030-02768-1
035   $a(MiAaPQ)EBC6286110
035   $a(PPN)23247057X
035   $a(EXLCZ)994100000007158992
100   $a20181021d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages and Systems $e16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2?6, 2018, Proceedings /$fedited by Sukyoung Ryu
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XI, 437 p. 123 illus.) 
225 1 $aProgramming and Software Engineering ;$v11275
300   $aIncludes index.
311   $a3-030-02767-8 
327   $aTypes -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking.
330   $aThis book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
410  0$aProgramming and Software Engineering ;$v11275
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer programming
606   $aComputers
606   $aArtificial intelligence
606   $aComputer system failures
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   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputers.
615  0$aArtificial intelligence.
615  0$aComputer system failures.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aTheory of Computation.
615 24$aArtificial Intelligence.
615 24$aSystem Performance and Evaluation.
676   $a005.13
676   $a005.13
702   $aRyu$b Sukyoung$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349390603321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA