Programming Languages and Systems

4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

  • Naoki Kobayashi
Conference proceedings APLAS 2006

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

Table of contents

  1. Front Matter
  2. Invited Talk 1

    1. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
      Pages 1-25
  3. Session 1

    1. Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
      Pages 26-43
    2. Jacques Garrigue
      Pages 44-60
    3. Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
      Pages 61-78
  4. Session 2

    1. Nina Bohr, Lars Birkedal
      Pages 79-96
    2. William L. Harrison
      Pages 97-113
    3. Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
      Pages 114-130
  5. Session 3

    1. Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
      Pages 131-147
    2. Pieter Koopman, Rinus Plasmeijer
      Pages 148-164
  6. Invited Talk 2

    1. Jens Palsberg
      Pages 165-165
  7. Session 4

    1. Axel Simon, Andy King
      Pages 166-182
    2. Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
      Pages 200-216
  8. Session 5

    1. Roberta Gori, Francesca Levi
      Pages 234-252
    2. Martín Abadi, Ricardo Corin, Cédric Fournet
      Pages 253-269
  9. Invited Tutorial

    1. Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
      Pages 270-289
  10. Session 6

  11. Session 7

    1. Keisuke Nakano, Shin-Cheng Mu
      Pages 340-356
    2. Yasuhiko Minamide, Akihiko Tozawa
      Pages 357-373
    3. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
      Pages 374-388
  12. Session 8

    1. Lennart Beringer, Martin Hofmann
      Pages 389-405
    2. Johan Gade, Robert Glück
      Pages 406-422
  13. Back Matter

About these proceedings


This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006. The symposium was sponsored by the Asian Association for Foundation of Software. In response to the call for papers, 70 full submissions were received. Each submission was reviewed by at least three Program Committee members with the help of external reviewers. The ProgramCommittee meeting was conducted electronically over a 2-week period. After careful discussion, the Program C- mittee selected 22 papers. I would like to sincerely thank all the members of the APLAS 2006 Program Committee for their excellent job, and all the external reviewers for their invaluable contribution. The submission and review process was managed using the CyberChair system. In addition to the 22 contributed papers, the symposium also included two invited talks by Jens Palsberg (UCLA, Los Angeles, USA) and Peter Stuckey (University of Melbourne, Melbourne, Australia), and one tutorial by Matthew Flatt (University of Utah, USA). Many people helped to promote APLAS as a high-quality forum in Asia to serve programming language researchers worldwide. Following a series of we- attended workshops that were held in Singapore (2000), Daejeon (2001), and Shanghai (2002), the ?rst three formal symposiums were held in Beijing (2003), Taipei (2004) and Tsukuba (2005).


APL Constraint Processing Scheme constraint reasoning dataflow analysis formal methods java programming logic programming program analysis program logics program transformation programming language programming theory software developme

Editors and affiliations

  • Naoki Kobayashi
    • 1
  1. 1.Tohoku University 

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-48937-5
  • Online ISBN 978-3-540-48938-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site