Programming Languages and Systems: 14th Asian Symposium

Programming Languages and Systems: 14th Asian Symposium Front Cover
0 Reviews
465 pages

Book Description

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and , 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 ; 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
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 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 with Iso-types
Chapter 15. Refined Environment Classifiers
Chapter 16. Higher-Order Model Checking in Direct Style
Chapter 17. Verifying Concurrent Graph
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

Book Details

  • Title: Programming Languages and Systems: 14th Asian Symposium
  • Author:
  • Length: 465 pages
  • Edition: 1st ed. 2016
  • Language: English
  • Publisher:
  • Publication Date: 2016-11-13
  • ISBN-10: 3319479571
  • ISBN-13: 9783319479576
Download LinkFormatSize (MB)Upload Date
Download from ZippyShareTrue PDF11.408/03/2017
How to Download? Report Dead Links & Get a Copy