LEADER 03975nam  22007095  450 
001 9910503008903321
005 20250822101726.0
010   $a3-030-89051-1
024 7 $a10.1007/978-3-030-89051-3
035   $a(CKB)5140000000013021
035   $a(MiAaPQ)EBC6749170
035   $a(Au-PeEL)EBL6749170
035   $a(OCoLC)1275428452
035   $a(PPN)258296240
035   $a(DE-He213)978-3-030-89051-3
035   $a(EXLCZ)995140000000013021
100   $a20211008d2021      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages and Systems $e19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17?18, 2021, Proceedings /$fedited by Hakjoo Oh
205   $a1st ed. 2021.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021.
215   $a1 online resource (328 pages)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v13008
311 08$a3-030-89050-3 
327   $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 Soufflé 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 byReduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-.
330   $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.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v13008
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aComputer systems
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Engineering and Networks
606   $aComputer System Implementation
615  0$aCompilers (Computer programs)
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer systems.
615 14$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Engineering and Networks.
615 24$aComputer System Implementation.
676   $a005.13
702   $aOh$b Hakjoo
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910503008903321
996   $aProgramming Languages and Systems$93644366
997   $aUNINA