Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings

از طرف کمیته سازماندهی من به شما خوش آمد می گویم در دومین سمپوزیوم آسیایی زبان ها و سیستم های برنامه نویسی (APLAS 2004) که در تایپه در 4 تا 6 نوامبر 2004 برگزار شد. از سال 2000، محققان در این منطقه زبان‌ها و سیستم‌های برنامه‌نویسی سالانه در آسیا گرد هم می‌آیند تا جدیدترین نتایج تحقیقاتی خود را ارائه دهند، بنابراین به پیشرفت این حوزه تحقیقاتی کمک می‌کنند. این جلسات بسیار مثمر ثمر بود و محل بسیار خوبی برای تبادل ایده های پژوهشی، یافته ها و تجربیات در زمینه زبان ها و سیستم های برنامه نویسی بود. APLAS 2004 پنجمین نشست از این دست و دومین نشست در زمینه سمپوزیوم است. اولین سمپوزیوم سال گذشته در پکن برگزار شد. موفقیت سری APLAS نتیجه جمعی کمک های بسیاری از افراد است. برای APLAS2004، اولین بار از اعضای کمیته برنامه، به ویژه رئیس برنامه وی-نگان چین، به دلیل همکاری سختشان و برنامه عالی آنها، تشکر می کنم. ، که راه طولانی را برای ارائه سخنرانی های خود در APLAS 2004 طی کرده اند. من می خواهم از همه داورانی که در بازبینی دست نوشته ها کمک کردند، نویسندگانی که در روند APLAS 2004 مشارکت داشتند، اعضای کمیته سازماندهی که به آنها کمک کردند تشکر کنم. تلاش های قابل توجهی برای سازماندهی این رویداد و همه شرکت کنندگان حاضر در این جلسه انجام داد. بدون حمایت شما این سمپوزیوم ممکن نبود. در نهایت مایلم از حمایت انجمن آسیایی برای بنیاد نرم افزار و دانشگاه سینیکا، تایوان تشکر کنم.

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.