Programming Languages and Systems: 14th Asian Symposium

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.

Table of Contents

Chapter 1. Substructural Proofs as Automata
Chapter 2. Learning a Strategy for Choosing Widening Thresholds from a Large Codebase
Chapter 3. AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code
Chapter 4. Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Chapter 5. SPEC: An Equivalence Checker for Security Protocols
Chapter 6. Binary Session Types for Psi-Calculi
Chapter 7. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Chapter 8. AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications
Chapter 9. A Debugger-Cooperative Higher-Order Contract System in Python
Chapter 10. A Sound and Complete Bisimulation for Contextual Equivalence in -Calculus with Call/cc
Chapter 11. A Realizability Interpretation for Intersection and Union Types
Chapter 12. Open Call-by-Value
Chapter 13. Implementing Cantor’s Paradise
Chapter 14. Unified Syntax with Iso-types
Chapter 15. Refined Environment Classifiers
Chapter 16. Higher-Order Model Checking in Direct Style
Chapter 17. Verifying Concurrent Graph Algorithms
Chapter 18. Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation
Chapter 19. Probabilistic Programming Language and its Incremental Evaluation
Chapter 20. ELIOM: A Core ML Language for Tierless Web Programming
Chapter 21. DOM: Specification and Client Reasoning
Chapter 22. Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
Chapter 23. Completeness for a First-Order Abstract Separation Logic