LEADER 04777nam 22007575 450 001 9910484909103321 005 20251225205513.0 010 $a3-319-71237-3 024 7 $a10.1007/978-3-319-71237-6 035 $a(CKB)4340000000223572 035 $a(DE-He213)978-3-319-71237-6 035 $a(MiAaPQ)EBC6283539 035 $a(MiAaPQ)EBC5591579 035 $a(Au-PeEL)EBL5591579 035 $a(OCoLC)1013465173 035 $a(PPN)22125174X 035 $a(EXLCZ)994340000000223572 100 $a20171118d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems $e15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /$fedited by Bor-Yuh Evan Chang 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIX, 555 p. 116 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10695 300 $aIncludes index. 311 08$a3-319-71236-5 327 $aInvited Contributions -- Programming by Examples: PL meets ML -- Synthesizing SystemC Code from Delay Hybrid CSP -- Security -- Taming Message-passing Communication in Compositional Reasoning about Confidentiality -- Capabilities for Java: Secure Access to Resources -- Enforcing Programming Guidelines with Region-Types and Effects -- Automatically generating secure wrappers for SGX enclaves from separation logic specifications -- Heap and Equivalence Reasoning -- Black-box equivalence checking across compiler optimizations -- Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects -- Decision Procedure for Entailment of Symbolic Heaps with Arrays -- Bringing order to the separation logic jungle -- Concurrency and Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous -- Verified Root-Balanced Trees -- Safety and Liveness of MCS Lock - Layer by Layer -- Domain-Specific Languages -- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access -- Efficient Functional Reactive Programming through Incremental Behaviors -- Implementing Algebraic Effects in C - Monads for Free in C -- Sound and Efficient Language-Integrated Query: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density matrices wth classical and probabilistic controls -- Numerical Reasoning -- Compact Difference Bound Matrices -- Sharper and Simpler Nonlinear Interpolants for Program Verification -- A Nonstandard Functional Programming Language -- Counterexample-Guided Bit-Precision Selection. 330 $aThis book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. . 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10695 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aComputers 606 $aProfessions 606 $aElectronic digital computers$xEvaluation 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aThe Computing Profession 606 $aSystem Performance and Evaluation 606 $aComputer Hardware 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aComputers. 615 0$aProfessions. 615 0$aElectronic digital computers$xEvaluation. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Hardware. 676 $a005.13 702 $aChang$b Bor-Yuh Evan$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484909103321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA LEADER 04446nam 22007455 450 001 9910427667803321 005 20251225185025.0 010 $a3-030-64437-5 024 7 $a10.1007/978-3-030-64437-6 035 $a(CKB)4100000011610274 035 $a(MiAaPQ)EBC6414031 035 $a(DE-He213)978-3-030-64437-6 035 $a(PPN)252507088 035 $a(EXLCZ)994100000011610274 100 $a20201126d2020 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems $e18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 ? December 2, 2020, Proceedings /$fedited by Bruno C. d. S. Oliveira 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVI, 374 p. 187 illus., 88 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12470 300 $aIncludes index. 311 08$a3-030-64436-7 327 $aProgram Analysis and Verification -- A Set-Based Context Model for Program Analysis -- Declarative Stream Runtime Verification (hLola) -- Formal Verification of Atomicity Requirements for Smart Contracts -- Types -- Neural Networks, Secure by Construction: An Exploration of Refinement Types -- A New Refinement Type System for Automated nu-HFLZ Validity Checking -- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language -- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping -- Semantics -- An Abstract Machine for Strong Call by Value -- Certified Semantics for Relational Programming -- Algebraic and Coalgebraic Perspectives on Interaction Laws -- Program Generation, Transactions and Automation -- Stack-Driven Program Generation of WebAssembly -- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types -- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? -- Synthesis and ProgramTransformation -- Synthesis and Program Transformation -- Relational Synthesis for Pattern Matching -- REFINITY to Model and Prove Program Transformation Rules -- Debugging, Profiling and Constraint Solving -- A Counterexample-Guided Debugger for Non-Recursive Datalog -- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving -- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. 330 $aThis book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.* The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12470 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 676 $a005.13 702 $aOliveira$b Bruno C. D. S. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427667803321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA