000 | 04178nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-981-99-8311-7 | ||
003 | DE-He213 | ||
005 | 20240207153753.0 | ||
007 | cr nn 008mamaa | ||
008 | 231122s2023 si | s |||| 0|eng d | ||
020 |
_a9789819983117 _9978-981-99-8311-7 |
||
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMC _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.45 _223 |
245 | 1 | 0 |
_aProgramming Languages and Systems _h[electronic resource] : _b21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings / _cedited by Chung-Kil Hur. |
250 | _a1st ed. 2023. | ||
264 | 1 |
_aSingapore : _bSpringer Nature Singapore : _bImprint: Springer, _c2023. |
|
300 |
_aX, 333 p. 94 illus., 43 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 ; _v14405 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aTypes -- Compilation Semantics for a Programming Language with Versions -- What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study -- Types and Semantics for Extensible Data Types -- Functional Languages -- A Diamond Machine for Strong Evaluation -- Proofs as Terms, Terms as Graphs -- Typed Non-determinism in Functional and Concurrent Calculi -- Interactive Theorem Proving -- A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists -- Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions -- Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq -- Verification -- Towards a Framework for Developing Verified Assemblers for the ELF Format -- Transport via Partial Galois Connections and Equivalences -- Argument Reduction of Constrained Horn Clauses Using Equality Constraints -- Static Analysis and Testing -- Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection -- m-CFA Exhibits Perfect Stack Precision -- TorchProbe: Fuzzing Dynamic Deep Learning Compilers. | |
520 | _aThis book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: 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 and environments for programming and implementation; and applications of SAT/SMT to programming and implementation. | ||
541 |
_fUABC ; _cPerpetuidad |
||
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 |
_aHur, Chung-Kil. _eeditor. _0(orcid)0000-0002-1656-0913 _1https://orcid.org/0000-0002-1656-0913 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9789819983100 |
776 | 0 | 8 |
_iPrinted edition: _z9789819983124 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v14405 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-981-99-8311-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c263360 _d263359 |