Programming Languages and Systems

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings (Lecture Notes in Computer Science)

This 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.

Table of Contents

Chapter 1. Programming by Examples: PL Meets ML
Chapter 2. Synthesizing SystemC Code from Delay Hybrid CSP
Chapter 3. Security
Chapter 4. Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
Chapter 5. Capabilities for Java: Secure Access to Resources
Chapter 6. Enforcing Programming Guidelines with Region Types and Effects
Chapter 7. Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications
Chapter 8. Heap and Equivalence Reasoning
Chapter 9. Black-Box Equivalence Checking Across Compiler Optimizations
Chapter 10. Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
Chapter 11. Decision Procedure for Entailment of Symbolic Heaps with Arrays
Chapter 12. Bringing Order to the Separation Logic Jungle
Chapter 13. Concurrency and Verification
Chapter 14. Programming and Proving with Classical Types
Chapter 15. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
Chapter 16. Verified Root-Balanced Trees
Chapter 17. Safety and Liveness of MCS Lock—Layer by Layer
Chapter 18. Domain-Specific Languages
Chapter 19. Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
Chapter 20. Efficient Functional Reactive Programming Through Incremental Behaviors
Chapter 21. Implementing Algebraic Effects in C
Chapter 22. Sound and Efficient Language-Integrated Query
Chapter 23. Semantics
Chapter 24. A Computational Interpretation of Context-Free Expressions
Chapter 25. Partiality and Container Monads
Chapter 26. The Negligible and Yet Subtle Cost of Pattern Matching
Chapter 27. A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
Chapter 28. Numerical Reasoning
Chapter 29. Compact Difference Bound Matrices
Chapter 30. Sharper and Simpler Nonlinear Interpolants for Program Verification
Chapter 31. A Nonstandard Functional Programming Language
Chapter 32. Counterexample-Guided Bit-Precision Selection