Programming Languages and Systems

Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

  • Wei-Ngan Chin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3302)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Session 1

    1. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
      Pages 2-20
    2. Pascal Fradet, Stéphane Hong Tuan Ha
      Pages 21-40
  4. Session 2

  5. Session 3

    1. Christian Skalka, Scott Smith
      Pages 107-128
  6. Session 4

  7. Invited Talk

  8. Session 5

    1. Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
      Pages 197-212
    2. Kwanghoon Choi, Atsushi Ohori
      Pages 213-228
    3. Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
      Pages 229-245
  9. Session 6

    1. Matthias Neubauer, Peter Thiemann
      Pages 246-261
    2. Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden
      Pages 262-279
    3. Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura
      Pages 280-295

About these proceedings

Introduction

On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4–6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in Asia to present their most recent research results, thus contributing to the advancementofthisresearcharea.ThelastfourmeetingswereheldinSingapore (2000), Daejeon (2001), Shanghai (2002), and Beijing (2003). These meetings were very fruitful and provided an excellent venue for the exchange of research ideas, ?ndings and experiences in programming languages and systems. APLAS 2004 is the ?fth such meeting and the second one in symposium setting. The ?rst symposium was held in Beijing last year. The success of the APLAS series is the collective result of many people’s contributions.ForAPLAS2004,?rstIwouldliketothankallthemembersofthe Program Committee, in particular the Program Chair Wei-Ngan Chin, for their hardworkinputtingtogetheranexcellentprogram.Iammostgratefultoinvited speakers, Joxan Ja?ar, Frank Pfenning, and Martin Odersky, who have traveled a long way to deliver their speeches at APLAS 2004. I would like to thank all the referees, who helped review the manuscripts, the authors, who contributed to the proceedings of APLAS 2004, the members of the Organizing Committee, who made considerable e?ort to organize this event, and all the participants present at this meeting. Without your support this symposium would not have been possible. Finally I would like to acknowledge the support of the Asian Association for Foundation of Software and Academia Sinica, Taiwan.

Keywords

APL Java functional programming optimization programming programming language real-time verification

Editors and affiliations

  • Wei-Ngan Chin
    • 1
  1. 1.Department of Computer ScienceNational University of SingaporeSingapore

Bibliographic information

  • DOI https://doi.org/10.1007/b102225
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23724-2
  • Online ISBN 978-3-540-30477-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book