001451663 000__ 03332cam\a2200577\i\4500
001451663 001__ 1451663
001451663 003__ OCoLC
001451663 005__ 20230310004711.0
001451663 006__ m\\\\\o\\d\\\\\\\\
001451663 007__ cr\cn\nnnunnun
001451663 008__ 221206s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001451663 019__ $$a1351772208$$a1352967433$$a1354564141
001451663 020__ $$a9783031210372$$q(electronic bk.)
001451663 020__ $$a3031210379$$q(electronic bk.)
001451663 020__ $$z9783031210365
001451663 020__ $$z3031210360
001451663 0247_ $$a10.1007/978-3-031-21037-2$$2doi
001451663 035__ $$aSP(OCoLC)1353295285
001451663 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ$$dUKAHL
001451663 049__ $$aISEA
001451663 050_4 $$aQA76.7
001451663 08204 $$a005.13$$223/eng/20221206
001451663 1112_ $$aAPLAS (Symposium)$$n(20th :$$d2022 :$$cAuckland, New Zealand)
001451663 24510 $$aProgramming languages and systems :$$b20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings /$$cIlya Sergey (ed.).
001451663 24630 $$aAPLAS 2022
001451663 264_1 $$aCham :$$bSpringer,$$c[2022]
001451663 264_4 $$c©2022
001451663 300__ $$a1 online resource (xii, 215 pages) :$$billustrations (some color).
001451663 336__ $$atext$$btxt$$2rdacontent
001451663 337__ $$acomputer$$bc$$2rdamedia
001451663 338__ $$aonline resource$$bcr$$2rdacarrier
001451663 4901_ $$aLecture notes in computer science ;$$v13658
001451663 500__ $$aRevised and selected conference papers.
001451663 500__ $$aIncludes author index.
001451663 5050_ $$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.
001451663 506__ $$aAccess limited to authorized users.
001451663 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.
001451663 588__ $$aDescription based on print version record.
001451663 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001451663 655_0 $$aElectronic books.
001451663 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001451663 655_7 $$aConference papers and proceedings.$$2lcgft
001451663 7001_ $$aSergey, Ilya,$$eeditor.
001451663 77608 $$iPrint version:$$aAPLAS (Symposium) (20th : 2022 : Auckland, New Zealand), creator.$$tProgramming languages and systems.$$dCham : Springer Nature Switzerland, 2022$$z9783031210365$$w(OCoLC)1348994777
001451663 830_0 $$aLecture notes in computer science ;$$v13658.
001451663 852__ $$bebk
001451663 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-21037-2$$zOnline Access$$91397441.1
001451663 909CO $$ooai:library.usi.edu:1451663$$pGLOBAL_SET
001451663 980__ $$aBIB
001451663 980__ $$aEBOOK
001451663 982__ $$aEbook
001451663 983__ $$aOnline
001451663 994__ $$a92$$bISE