Programming Languages and Systems

1. Front Matter

   PDF

2. Invited Talk

   1. A CLP Approach to Modelling Systems

      • Joxan Jaffar

      Pages 1-1

3. Session 1

   1. An Algebraic Approach to Bi-directional Updating

      • Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

      Pages 2-20

   2. Network Fusion

      • Pascal Fradet, Stéphane Hong Tuan Ha

      Pages 21-40

4. Session 2

   1. Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type

      • Koichi Kodama, Kohei Suenaga, Naoki Kobayashi

      Pages 41-56

   2. An Implementation of Subtyping Among Regular Expression Types

      • Kenny Zhuo Ming Lu, Martin Sulzmann

      Pages 57-73

   3. An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors

      • Keisuke Nakano

      Pages 74-90

5. Session 3

   1. Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

      • Tobias Lindahl, Konstantinos Sagonas

      Pages 91-106

   2. History Effects and Verification

      • Christian Skalka, Scott Smith

      Pages 107-128

   3. Controlled Declassification Based on Intransitive Noninterference

      • Heiko Mantel, David Sands

      Pages 129-145

6. Session 4

   1. A Concurrent System of Multi-ported Processes with Causal Dependency

      • Tatsuya Abe

      Pages 146-162

   2. Concurrency Combinators for Declarative Synchronization

      • Paweł T. Wojciechowski

      Pages 163-178

   3. A Uniform Reduction Equivalence for Process Calculi

      • Zining Cao

      Pages 179-195

7. Invited Talk

   1. Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)

      • Frank Pfenning

      Pages 196-196

8. Session 5

   1. PType System: A Featherweight Parallelizability Detector

      • Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu

      Pages 197-212

   2. A Type Theory for Krivine-Style Evaluation and Compilation

      • Kwanghoon Choi, Atsushi Ohori

      Pages 213-228

   3. Region-Based Memory Management for a Dynamically-Typed Language

      • Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa

      Pages 229-245

9. Session 6

   1. Protocol Specialization

      • Matthias Neubauer, Peter Thiemann

      Pages 246-261

   2. Automatic Generation of Editors for Higher-Order Data Structures

      • Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen van Weelden

      Pages 262-279

   3. A MATLAB-Based Code Generator for Sparse Matrix Computations

      • Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura

      Pages 280-295

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.

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

• Department of Computer Science, National University of Singapore, Singapore

  Wei-Ngan Chin

Policies and ethics