Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and Systems

9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Hongseok Yang

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • State of the art research
  • Fast track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: APLAS 2011.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Program Analysis and Machine Learning: A Win-Win Deal

      • Aditya V. Nori, Sriram K. Rajamani
      Pages 1-2

    2. Software Verification with Liquid Types

      • Ranjit Jhala
      Pages 3-3

    3. Engineering Theories with Z3

      • Nikolaj Bjørner
      Pages 4-16

    4. Algebra, Logic, Locality, Concurrency

      • Peter W. O’Hearn
      Pages 17-18

  3. Session 1: Program Analysis

    1. Modular Abstractions of Reactive Nodes Using Disjunctive Invariants

      • David Monniaux, Martin Bodin
      Pages 19-33

    2. Template-Based Unbounded Time Verification of Affine Hybrid Automata

      • Thao Dang, Thomas Martin Gawlitza
      Pages 34-49

    3. Access-Based Localization with Bypassing

      • Hakjoo Oh, Kwangkeun Yi
      Pages 50-65

    4. A Deductive Database with Datalog and SQL Query Languages

      • Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
      Pages 66-73

  4. Session 2: Functional Programming

    1. Constructing List Homomorphisms from Proofs

      • Yun-Yan Chi, Shin-Cheng Mu
      Pages 74-88

    2. Extending Hindley-Milner Type Inference with Coercive Structural Subtyping

      • Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow
      Pages 89-104

    3. Polymorphic Multi-stage Language with Control Effects

      • Yuichiro Kokaji, Yukiyoshi Kameyama
      Pages 105-120

  5. Session 3: Compiler

    1. Compiler Backend Generation for Application Specific Instruction Set Processors

      • Zhen Cao, Yuan Dong, Shengyuan Wang
      Pages 121-136

    2. A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs

      • Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
      Pages 137-154

    3. SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA

      • Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
      Pages 155-171

  6. Session 4: Concurrency 1

    1. On the Strength of Owicki-Gries for Resources

      • Alexander Malkis, Laurent Mauborgne
      Pages 172-187

    2. Solving Recursion-Free Horn Clauses over LI+UIF

      • Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
      Pages 188-203

    3. Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism

      • Akimasa Morihata
      Pages 204-219

    4. Decentralized Delimited Release

      • Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
      Pages 220-237

  7. Session 5: Concurrency 2

    1. Cost Analysis of Concurrent OO Programs

      • Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
      Pages 238-254
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, UK

    Hongseok Yang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation