Programming Languages and Systems

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

  • Ranjit Jhala
  • Atsushi Igarashi
Conference proceedings APLAS 2012

DOI: 10.1007/978-3-642-35182-2

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

Table of contents

  1. Front Matter
  2. Session I: Invited Talk

  3. Session II: Concurrency

    1. Siliang Li, Yu David Liu, Gang Tan
      Pages 2-17
    2. Yi Lu, John Potter, Jingling Xue
      Pages 18-33
  4. Session III: Security

    1. Thomas H. Austin, Cormac Flanagan, Martín Abadi
      Pages 34-49
    2. Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 66-81
    3. Aseem Rastogi, Avik Chaudhuri, Rob Johnson
      Pages 82-97
  5. Session IV: Static Analysis I

    1. Giulia Costantini, Pietro Ferrara, Agostino Cortesi
      Pages 98-114
    2. Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 115-130
    3. Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
      Pages 148-156
  6. Session V: Static Analysis II

    1. Kalmer Apinis, Helmut Seidl, Vesal Vojdani
      Pages 157-172
    2. Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
      Pages 173-189
  7. Session VI: Language Design

    1. Oleg Kiselyov, Simon Peyton-Jones, Amr Sabry
      Pages 190-206
    2. Gabrielle Anderson, Julian Rathke
      Pages 207-222
    3. Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
      Pages 223-238
  8. Session VII: Dynamic Analysis

    1. Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta
      Pages 239-255
    2. Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma et al.
      Pages 256-263
  9. Session VIII: Complexity and Semantics

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurreny, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

Keywords

aspect-oriented programming constraints model-checking program analysis term rewriting

Editors and affiliations

  • Ranjit Jhala
    • 1
  • Atsushi Igarashi
    • 2
  1. 1.Computer Science DepartmentUniversity of California, San DiegoLa JollaUSA
  2. 2.Graduate School of InformaticsKyoto UniversitySakyo-kuJapan

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35181-5
  • Online ISBN 978-3-642-35182-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349