Programming Languages and Systems

6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

  • G. Ramalingam

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

Table of contents

  1. Front Matter
  2. Liqian Chen, Antoine Miné, Patrick Cousot
    Pages 3-18
  3. Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
    Pages 19-35
  4. Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
    Pages 36-52
  5. Shivali Agarwal, RajKishore Barik, V. Krishna Nandivada, Rudrapatna K. Shyamasundar, Pradeep Varma
    Pages 53-74
  6. Gilles Barthe, César Kunz, Jorge Luis Sacchini
    Pages 75-90
  7. Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
    Pages 91-106
  8. Xin Chen, Yuxin Deng
    Pages 107-121
  9. Kazuyuki Asada
    Pages 122-137
  10. Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
    Pages 139-154
  11. Christian Haack, Marieke Huisman, Clément Hurlin
    Pages 171-187
  12. Stefan Wehr, Manuel M. T. Chakravarty
    Pages 188-204
  13. Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
    Pages 205-220
  14. Roberto M. Amadio, Mehdi Dogguy
    Pages 221-236
  15. Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
    Pages 237-254
  16. Peter Thiemann, Stefan Wehr
    Pages 256-272

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.

The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.

Keywords

APL LA bisimulation commutation concurrency design logic programming object-orientation operational semantics prog program semantics program transformation programming programming language verification

Editors and affiliations

  • G. Ramalingam
    • 1
  1. 1.Microsoft Research IndiaBangaloreIndia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-89330-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-89329-5
  • Online ISBN 978-3-540-89330-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book