Programming Languages and Systems

First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

  • Atsushi Ohori
Conference proceedings APLAS 2003

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

Table of contents

  1. Front Matter
  2. Invited Talk 1

    1. Wen-tsun Wu
      Pages 1-1
  3. Session 1

  4. Session 2

    1. Tetsuo Ida, Mircea Marin, Hidekazu Takahashi
      Pages 73-88
    2. Dengping Zhu, Hongwei Xi
      Pages 89-104
    3. Hidehiko Masuhara, Kazunori Kawauchi
      Pages 105-121
  5. Session 3

    1. Hugh Anderson, Siau-Cheng Khoo
      Pages 122-140
    2. D V Ravindra
      Pages 141-158
  6. Invited Talk 2

    1. Thomas A. Henzinger
      Pages 176-177
  7. Session 4

    1. Koji Okuma, Yasuhiko Minamide
      Pages 178-194
    2. Antoine Galland, Mathieu Baudet
      Pages 195-211
    3. Kim Marriott, Peter J. Stuckey, Martin Sulzmann
      Pages 212-229
    4. Sunae Seo, Hongseok Yang, Kwangkeun Yi
      Pages 230-245
  8. Session 5

  9. Session 6

    1. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
      Pages 303-321
    2. Guangyuan Li, Zhisong Tang
      Pages 322-338
    3. Magnus Carlsson, Johan Nordlander, Dick Kieburtz
      Pages 339-356
  10. Invited Talk 3

    1. Simon Peyton Jones, Ralf Lämmel
      Pages 357-357
  11. Session 7

    1. Dae-Hwan Kim, Hyuk-Jae Lee
      Pages 394-409
    2. Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa
      Pages 410-426
  12. Back Matter

About these proceedings


With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers,among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium, would like to extend the warmest welcome and hearty thanks to all colleagues who attended the symposium, all scholars who generously contributed their papers, and all those who were actively dedicated to the organization of this symposium. Over the past decade, the Asian economy has undergone rapid development. Keeping pace with this accelerated economic growth, Asia has made great he- way in software, integrated circuits, mobile communication and the Internet. All this has laid a ?rm material foundation for undertaking theoretical research on computer science and programming languages. Therefore, to meet the incr- sing demands of the IT market, great opportunities and challenges in advanced research in these ?elds. I strongly believe that in the coming future, with the persistent e?orts of our colleagues, the Asian software industry and research on computer science will be important players in the world economy, on an equal footing with their counterparts in the United States and Europe.


APL Aspect-oriented programming Constraint Haskell OVal automata formal methods inheritance model checking polymorphism program analysis programming language programming languages type systems verification

Editors and affiliations

  • Atsushi Ohori
    • 1
  1. 1.School of Information ScienceJapan Advanced Institute of Science and Technology, TatsunokuchiIshikawaJapan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20536-4
  • Online ISBN 978-3-540-40018-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site