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

Joxan Jaffar (auth.), Wei-Ngan Chin (eds.)3540237240, 9783540237242

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.

---

Table of contents :
Front Matter….Pages –
A CLP Approach to Modelling Systems….Pages 1-1
An Algebraic Approach to Bi-directional Updating….Pages 2-20
Network Fusion….Pages 21-40
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type….Pages 41-56
An Implementation of Subtyping Among Regular Expression Types….Pages 57-73
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors….Pages 74-90
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story….Pages 91-106
History Effects and Verification….Pages 107-128
Controlled Declassification Based on Intransitive Noninterference….Pages 129-145
A Concurrent System of Multi-ported Processes with Causal Dependency….Pages 146-162
Concurrency Combinators for Declarative Synchronization….Pages 163-178
A Uniform Reduction Equivalence for Process Calculi….Pages 179-195
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)….Pages 196-196
PType System: A Featherweight Parallelizability Detector….Pages 197-212
A Type Theory for Krivine-Style Evaluation and Compilation….Pages 213-228
Region-Based Memory Management for a Dynamically-Typed Language….Pages 229-245
Protocol Specialization….Pages 246-261
Automatic Generation of Editors for Higher-Order Data Structures….Pages 262-279
A MATLAB-Based Code Generator for Sparse Matrix Computations….Pages 280-295
D-Fusion: A Distinctive Fusion Calculus….Pages 296-310
A Functional Language for Logarithmic Space….Pages 311-326
Build, Augment and Destroy, Universally….Pages 327-347
Free Σ-Monoids: A Higher-Order Syntax with Metavariables….Pages 348-363
The Scala Experiment – Can We Provide Better Language Support for Component Systems?….Pages 364-365
Pointcuts as Functional Queries….Pages 366-381
Formal Design and Verification of Real-Time Embedded Software….Pages 382-397
McJava – A Design and Implementation of Java with Mixin-Types….Pages 398-414
A Relational Model for Object-Oriented Designs….Pages 415-436
Exploiting Java Objects Behavior for Memory Management and Optimizations….Pages 437-452
Back Matter….Pages –