Programming Languages and Systems

11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

  • Chung-chieh Shan
Conference proceedings APLAS 2013

DOI: 10.1007/978-3-319-03542-0

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

Table of contents

  1. Front Matter
  2. Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
    Pages 1-16
  3. Fu Song, Tayssir Touili
    Pages 33-49
  4. Eric Goubault, Sylvie Putot
    Pages 50-57
  5. Kensuke Kojima, Atsushi Igarashi
    Pages 58-73
  6. Holger Siegel, Bogdan Mihaila, Axel Simon
    Pages 74-89
  7. Juan Antonio Navarro Pérez, Andrey Rybalchenko
    Pages 90-106
  8. Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
    Pages 107-123
  9. Giovanny Lucero, David Naumann, Augusto Sampaio
    Pages 124-139
  10. Janina Voigt, Alan Mycroft
    Pages 140-155
  11. Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
    Pages 156-171
  12. Cristina Cifuentes, Nathan Keynes
    Pages 172-175
  13. Marco Patrignani, Dave Clarke, Frank Piessens
    Pages 176-191
  14. Uli Fahrenberg, Axel Legay
    Pages 192-208
  15. Julian Kranz, Alexander Sepp, Axel Simon
    Pages 209-216
  16. Niklas Broberg, Bart van Delft, David Sands
    Pages 217-232
  17. Hyunik Na, Sukyoung Ryu
    Pages 233-240
  18. Alessandra Di Pierro, Herbert Wiklicky
    Pages 241-256
  19. Jacques Garrigue, Didier Rémy
    Pages 257-272

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013.
The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems.

Keywords

logics model checking probabilistic programming program analysis type systems

Editors and affiliations

  • Chung-chieh Shan
    • 1
  1. 1.Indiana UniversityBloomingtonUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2013
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-03541-3
  • Online ISBN 978-3-319-03542-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349