000 | 03153nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-030-34175-6 | ||
003 | DE-He213 | ||
005 | 20200812102650.0 | ||
007 | cr nn 008mamaa | ||
008 | 191108s2019 gw | s |||| 0|eng d | ||
020 |
_a9783030341756 _9978-3-030-34175-6 |
||
024 | 7 |
_a10.1007/978-3-030-34175-6 _2doi |
|
040 | _cCUS | ||
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aUMX _2thema |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.13 _223 |
245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / _cedited by Anthony Widjaja Lin. |
250 | _a1st ed. 2019. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2019. |
|
300 |
_aXIII, 492 p. 609 illus., 24 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v11893 |
|
505 | 0 | _aInvited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . | |
520 | _aThis book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. | ||
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer logic. | |
650 | 1 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aThe Computing Profession. _0https://scigraph.springernature.com/ontologies/product-market-codes/I24075 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
700 | 1 |
_aLin, Anthony Widjaja. _1https://orcid.org/0000-0003-4715-5096 |
|
830 | 0 |
_aProgramming and Software Engineering ; _v11893 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-34175-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c202870 _d202870 |