001440325 000__ 04192cam\a2200637\a\4500
001440325 001__ 1440325
001440325 003__ OCoLC
001440325 005__ 20230309004556.0
001440325 006__ m\\\\\o\\d\\\\\\\\
001440325 007__ cr\un\nnnunnun
001440325 008__ 211014s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001440325 019__ $$a1276778630$$a1276861980$$a1287767780$$a1292518867
001440325 020__ $$a9783030890513$$q(electronic bk.)
001440325 020__ $$a3030890511$$q(electronic bk.)
001440325 020__ $$z3030890503
001440325 020__ $$z9783030890506
001440325 0247_ $$a10.1007/978-3-030-89051-3$$2doi
001440325 035__ $$aSP(OCoLC)1275428452
001440325 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCF$$dDCT$$dDKU$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440325 049__ $$aISEA
001440325 050_4 $$aQA76.7
001440325 08204 $$a005.13$$223
001440325 1112_ $$aAPLAS (Symposium)$$n(19th :$$d2021 :$$cChicago, Ill.)
001440325 24510 $$aProgramming languages and systems :$$b19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, proceedings /$$cHakjoo Oh (ed.).
001440325 2463_ $$aAPLAS 2021
001440325 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001440325 300__ $$a1 online resource
001440325 336__ $$atext$$btxt$$2rdacontent
001440325 337__ $$acomputer$$bc$$2rdamedia
001440325 338__ $$aonline resource$$bcr$$2rdacarrier
001440325 347__ $$atext file
001440325 347__ $$bPDF
001440325 4901_ $$aLecture notes in computer science ;$$v13008
001440325 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001440325 500__ $$aIncludes author index.
001440325 5050_ $$aAnalysis and Synthesis -- Scalable and Modular Robustness Analysis of Deep Neural Networks -- Function Pointer Eliminator for C Programs -- PyCT: A Python Concolic Tester -- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications -- Server-Side Computation of Package Dependencies in Package-Management Systems -- Compilation and Transformation -- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go -- Hybrid quantum-classical circuit simplification with the ZX-calculus -- A compilation method for dynamic typing in ML -- Language Design -- The Choice Construct in the Souffle Language -- Latent Effects for Reusable Language Components -- Adaptable Traces for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-
001440325 506__ $$aAccess limited to authorized users.
001440325 520__ $$aThis book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic.
001440325 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
001440325 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001440325 650_0 $$aComputer programming$$vCongresses.
001440325 650_6 $$aProgrammation (Informatique)$$vCongrès.
001440325 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440325 655_7 $$aConference papers and proceedings.$$2lcgft
001440325 655_7 $$aActes de congrès.$$2rvmgf
001440325 655_0 $$aElectronic books.
001440325 7001_ $$aOh, Hakjoo,$$eeditor.
001440325 77608 $$iPrint version:$$aAPLAS (Symposium) (19th : 2021 : Chicago, Ill.).$$tProgramming languages and systems.$$dCham, Switzerland : Springer, 2021$$z3030890503$$z9783030890506$$w(OCoLC)1267584444
001440325 830_0 $$aLecture notes in computer science ;$$v13008.
001440325 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001440325 852__ $$bebk
001440325 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89051-3$$zOnline Access$$91397441.1
001440325 909CO $$ooai:library.usi.edu:1440325$$pGLOBAL_SET
001440325 980__ $$aBIB
001440325 980__ $$aEBOOK
001440325 982__ $$aEbook
001440325 983__ $$aOnline
001440325 994__ $$a92$$bISE