Programming Languages and Systems

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

  • Hongseok Yang
Conference proceedings APLAS 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Aditya V. Nori, Sriram K. Rajamani
      Pages 1-2
    2. Nikolaj Bjørner
      Pages 4-16
    3. Peter W. O’Hearn
      Pages 17-18
  3. Session 1: Program Analysis

    1. Thao Dang, Thomas Martin Gawlitza
      Pages 34-49
    2. Hakjoo Oh, Kwangkeun Yi
      Pages 50-65
    3. Fernando Sáenz-Pérez, Rafael Caballero, Yolanda García-Ruiz
      Pages 66-73
  4. Session 2: Functional Programming

    1. Yun-Yan Chi, Shin-Cheng Mu
      Pages 74-88
    2. Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow
      Pages 89-104
    3. Yuichiro Kokaji, Yukiyoshi Kameyama
      Pages 105-120
  5. Session 3: Compiler

    1. Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
      Pages 137-154
    2. Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew
      Pages 155-171
  6. Session 4: Concurrency 1

    1. Alexander Malkis, Laurent Mauborgne
      Pages 172-187
    2. Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
      Pages 188-203
    3. Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
      Pages 220-237
  7. Session 5: Concurrency 2

    1. Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
      Pages 238-254

About these proceedings

Introduction

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.

Keywords

SQL deductive databases explicit model-checking reactive systems relational databases

Editors and affiliations

  • Hongseok Yang
    • 1
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-25318-8
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-25317-1
  • Online ISBN 978-3-642-25318-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace