Programming Languages and Systems
18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
Published on 27. November 2020
Book
Paperback/Softback
XVI, 374 pages
978-3-030-64436-9 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2020
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
99 s/w Abbildungen, 88 farbige Abbildungen
XVI, 374 p. 187 illus., 88 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 22 mm
Weight
593 gr
ISBN-13
978-3-030-64436-9 (9783030644369)
DOI
10.1007/978-3-030-64437-6
Schweitzer Classification
Other editions
Additional editions
Bruno C. d. S. Oliveira
Programming Languages and Systems
18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
E-Book
11/2020
Springer
€53.49
Available for download
Content
Program 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.