Skip to main content
SpringerLink
Log in

Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Atsushi Igarashi

    1. Kyoto University , Kyoto, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10017)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Invited Presentations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Substructural Proofs as Automata

      • Henry DeYoung, Frank Pfenning
      Pages 3-22

  3. Verification and Analysis I

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

      • Sooyoung Cha, Sehun Jeong, Hakjoo Oh
      Pages 25-41

    3. AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code

      • Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
      Pages 42-62

    4. Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

      • Tatsuya Abe, Toshiyuki Maeda
      Pages 63-84

  4. Process Calculus

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. SPEC: An Equivalence Checker for Security Protocols

      • Alwen Tiu, Nam Nguyen, Ross Horne
      Pages 87-95

    3. Binary Session Types for Psi-Calculi

      • Hans Hüttel
      Pages 96-115

    4. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

      • Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
      Pages 116-136

  5. Profiling and Debugging

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications

      • Andrea Rosà, Lydia Y. Chen, Walter Binder
      Pages 139-147

    3. A Debugger-Cooperative Higher-Order Contract System in Python

      • Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
      Pages 148-168

  6. λ-Calculus

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. A Sound and Complete Bisimulation for Contextual Equivalence in \(\lambda \)-Calculus with Call/cc

      • Taichi Yachi, Eijiro Sumii
      Pages 171-186

    3. A Realizability Interpretation for Intersection and Union Types

      • Daniel J. Dougherty, Ugo de’Liguoro, Luigi Liquori, Claude Stolze
      Pages 187-205

    4. Open Call-by-Value

      • Beniamino Accattoli, Giulio Guerrieri
      Pages 206-226

  7. Type Theory

    1. Front Matter

      Pages 227-227
      Download chapter PDF

    2. Implementing Cantor’s Paradise

      • Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
      Pages 229-250
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

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.

 


Editors and Affiliations

  • Kyoto University , Kyoto, Japan

    Atsushi Igarashi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation