Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings (Lecture Notes in Computer Science Book 12470)

This 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. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 A Set-Based Context Model for Program Analysis (Leandro Fachinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro)....Pages 3-24 Declarative Stream Runtime Verification (hLola) (Martín Ceresa, Felipe Gorostiaga, César Sánchez)....Pages 25-43 Formal Verification of Atomicity Requirements for Smart Contracts (Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan)....Pages 44-64 Front Matter ....Pages 65-65 Neural Networks, Secure by Construction (Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall)....Pages 67-85 A New Refinement Type System for Automated \(\nu \text {HFL}_\mathbb {Z}\) Validity Checking (Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada)....Pages 86-104 Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language (Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen et al.)....Pages 105-124 Syntactically Restricting Bounded Polymorphism for Decidable Subtyping (Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves)....Pages 125-144 Front Matter ....Pages 145-145 An Abstract Machine for Strong Call by Value (Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab)....Pages 147-166 Certified Semantics for Relational Programming (Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev)....Pages 167-185 Algebraic and Coalgebraic Perspectives on Interaction Laws (Tarmo Uustalu, Niels Voorneveld)....Pages 186-205 Front Matter ....Pages 207-207 Stack-Driven Program Generation of WebAssembly (Árpád Perényi, Jan Midtgaard)....Pages 209-230 Banyan: Coordination-Free Distributed Transactions over Mergeable Types (Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy)....Pages 231-250 Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? (Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou)....Pages 251-269 Front Matter ....Pages 271-271 Parameterized Synthesis with Safety Properties (Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider)....Pages 273-292 Relational Synthesis for Pattern Matching (Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev)....Pages 293-310 REFINITY to Model and Prove Program Transformation Rules (Dominic Steinhöfel)....Pages 311-319 Front Matter ....Pages 321-321 A Counterexample-Guided Debugger for Non-recursive Datalog (Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu)....Pages 323-342 A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving (Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál, Andrea Turrini)....Pages 343-363 \(\mathsf{P}^{3}\): A Profiler Suite for Parallel Applications on the Java Virtual Machine (Andrea Ros`, Walter Binder)....Pages 364-372 Back Matter ....Pages 373-374 This 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.