Programming Languages and Systems

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

  • Ranjit Jhala
  • Atsushi Igarashi
Conference proceedings APLAS 2012

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

    1. Martin Avanzini, Naohi Eguchi, Georg Moser
      Pages 280-295
    2. Marek Materzok, Dariusz Biernacki
      Pages 296-311
  10. Session IX: Invited Talk

    1. Greg Morrisett
      Pages 312-314
  11. Session X: Program Logics and Verification

    1. Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi
      Pages 315-331
    2. David Costanzo, Zhong Shao
      Pages 332-349
    3. James Brotherston, Nikos Gorogiannis, Rasmus L. Petersen
      Pages 350-367
    4. Xuan Bach Le, Cristian Gherghina, Aquinas Hobor
      Pages 368-385
  12. Session XI: Invited Talk

  13. Back Matter

About these proceedings


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.


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

  • DOI
  • 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
  • Buy this book on publisher's site