| 000 | 03074nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-21037-2 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125143.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 221105s2022 sz | s |||| 0|eng d | ||
| 020 |
_a9783031210372 _9978-3-031-21037-2 |
||
| 024 | 7 |
_a10.1007/978-3-031-21037-2 _2doi |
|
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 072 | 7 |
_aUMC _2thema |
|
| 082 | 0 | 4 |
_a005.45 _223 |
| 245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / _cedited by Ilya Sergey. |
| 250 | _a1st ed. 2022. | ||
| 264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Springer, _c2022. |
|
| 300 |
_aXII, 215 p. 73 illus., 45 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 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13658 |
|
| 505 | 0 | _aSemantics and Analysis -- An Algebraic Theory for Shared-State Concurrency -- Decoupling the Ascending and Descending Phases in Abstract Interpretation -- Inferring Region Types via an Abstract Notion of Environment Transformation -- Testing and Verification -- RHLE: Modular Deductive Verification of Relational Properties -- Automated Temporal Verification for Algebraic Effects -- Model-based Fault Classification for Automotive Software -- Types -- Characterizing functions mappable over GADTs -- Applicative Intersection Types -- A Calculus with Recursive Types, Record Concatenation and Subtyping -- Novice Type Error Diagnosis with Natural Language Models. | |
| 520 | _aThis book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022. The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. | ||
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 | _aCompilers and Interpreters. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aTheory of Computation. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 700 | 1 |
_aSergey, Ilya. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031210365 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031210389 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13658 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-21037-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c174833 _d174833 |
||