Advertisement

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
    2. Ana Milanova, Wei Huang
      Pages 255-271
    3. Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
      Pages 272-288
  8. Session 6: Semantics

    1. Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
      Pages 289-304
    2. Ulrich Schöpp
      Pages 305-321
  9. Session 7: Certification and Logic

    1. Lukasz Fronc, Franck Pommereau
      Pages 322-336
    2. Keiko Nakata, Tarmo Uustalu, Marc Bezem
      Pages 353-368
    3. Casey Klein, Jay McCarthy, Steven Jaconette, Robert Bruce Findler
      Pages 369-383
  10. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering