| 000 | 02940nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | vtls000544222 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922082945.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160915s2014 gw | s |||| 0|eng d | ||
| 020 |
_a9783319127361 _9978-3-319-12736-1 |
||
| 024 | 7 |
_a10.1007/978-3-319-12736-1 _2doi |
|
| 035 | _ato000544222 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA76.7-76.73 | |
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMX _2bicssc |
|
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.13 _223 |
| 245 | 1 | 0 |
_aProgramming Languages and Systems _helectronic resource _b12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / _cedited by Jacques Garrigue. |
| 260 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
||
| 300 |
_aXVIII, 490 p. 117 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8858 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation. | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_aSoftware engineering. _9566225 |
|
| 650 | 0 |
_aLogic design. _9306256 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _9303287 |
| 650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _9303363 |
| 700 | 1 |
_aGarrigue, Jacques. _eeditor. _9331665 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-12736-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c402012 | ||