Skip to main content
SpringerLink
Log in

Programming Languages and Systems

16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Sukyoung Ryu

    1. Korea Advanced Institute of Science and Technology, Daejeon, Korea (Republic of)

    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 11275)

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

Included in the following conference series:

Conference proceedings info: APLAS 2018.

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 (22 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Types

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Non-linear Pattern Matching with Backtracking for Non-free Data Types

      • Satoshi Egi, Yuichi Nishiwaki
      Pages 3-23

    3. Factoring Derivation Spaces via Intersection Types

      • Pablo Barenbaum, Gonzalo Ciruelos
      Pages 24-44

    4. Types of Fireballs

      • Beniamino Accattoli, Giulio Guerrieri
      Pages 45-66

  3. Program Analysis

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation

      • Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir
      Pages 69-88

    3. Complexity Analysis of Tree Share Structure

      • Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
      Pages 89-108

    4. Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models

      • Thibault Suzanne, Antoine Miné
      Pages 109-128

  4. Tools

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Scallina: Translating Verified Programs from Coq to Scala

      • Youssef El Bakouny, Dani Mezher
      Pages 131-145

    3. HoIce: An ICE-Based Non-linear Horn Clause Solver

      • Adrien Champion, Naoki Kobayashi, Ryosuke Sato
      Pages 146-156

    4. Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General

      • Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka
      Pages 157-165

    5. The Practice of a Compositional Functional Programming Language

      • Timothy Jones, Michael Homer
      Pages 166-177

  5. Functional Programs and Probabilistic Programs

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. New Approaches for Almost-Sure Termination of Probabilistic Programs

      • Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
      Pages 181-201

    3. Particle-Style Geometry of Interaction as a Module System

      • Ulrich Schöpp
      Pages 202-222

    4. Automated Synthesis of Functional Programs with Auxiliary Functions

      • Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada
      Pages 223-241

  6. Verification

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. Modular Verification of SPARCv8 Code

      • Junpeng Zha, Xinyu Feng, Lei Qiao
      Pages 245-263
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.

The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.

Editors and Affiliations

  • Korea Advanced Institute of Science and Technology, Daejeon, Korea (Republic of)

    Sukyoung Ryu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation