APLAS 2004: Taipei, Taiwan

@proceedings{DBLP:conf/aplas/2004,
  editor    = {Wei-Ngan Chin},
  title     = {Programming Languages and Systems: Second Asian Symposium, APLAS
               2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  booktitle = {APLAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3302},
  year      = {2004},
  isbn      = {3-540-23724-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Joxan Jaffar:
  A CLP Approach to Modelling Systems. 1
  

Session 1

• Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
  An Algebraic Approach to Bi-directional Updating. 2-20
  
• Pascal Fradet, Stéphane Hong Tuan Ha:
  Network Fusion. 21-40
  

Session 2

• Koichi Kodama, Kohei Suenaga, Naoki Kobayashi:
  Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. 41-56
  
• Kenny Zhuo Ming Lu, Martin Sulzmann:
  An Implementation of Subtyping Among Regular Expression Types. 57-73
  
• Keisuke Nakano:
  An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. 74-90
  

Session 3

• Tobias Lindahl, Konstantinos F. Sagonas:
  Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. 91-106
  
• Christian Skalka, Scott F. Smith:
  History Effects and Verification. 107-128
  
• Heiko Mantel, David Sands:
  Controlled Declassification Based on Intransitive Noninterference. 129-145
  

Session 4

• Tatsuya Abe:
  A Concurrent System of Multi-ported Processes with Causal Dependency. 146-162
  
• Pawel T. Wojciechowski:
  Concurrency Combinators for Declarative Synchronization. 163-178
  
• Zining Cao:
  A Uniform Reduction Equivalence for Process Calculi. 179-195
  

Invited Talk

• Frank Pfenning:
  Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk). 196
  

Session 5

• Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu:
  PType System: A Featherweight Parallelizability Detector. 197-212
  
• Kwanghoon Choi, Atsushi Ohori:
  A Type Theory for Krivine-Style Evaluation and Compilation. 213-228
  
• Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa:
  Region-Based Memory Management for a Dynamically-Typed Language. 229-245
  

Session 6

• Matthias Neubauer, Peter Thiemann:
  Protocol Specialization. 246-261
  
• Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
  Automatic Generation of Editors for Higher-Order Data Structures. 262-279
  
• Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura:
  A MATLAB-Based Code Generator for Sparse Matrix Computations. 280-295
  

Session 7

• Michele Boreale, Maria Grazia Buscemi, Ugo Montanari:
  D-Fusion: A Distinctive Fusion Calculus. 296-310
  
• Peter Møller Neergaard:
  A Functional Language for Logarithmic Space. 311-326
  
• Neil Ghani, Tarmo Uustalu, Varmo Vene:
  Build, Augment and Destroy, Universally. 327-347
  
• Makoto Hamana:
  Free S-Monoids: A Higher-Order Syntax with Metavariables. 348-363
  

Invited Talk

• Martin Odersky:
  The Scala Experiment - Can We Provide Better Language Support for Component Systems? 364
  

Session 8

• Michael Eichberg, Mira Mezini, Klaus Ostermann:
  Pointcuts as Functional Queries. 366-381
  
• Pao-Ann Hsiung, Shang-Wei Lin:
  Formal Design and Verification of Real-Time Embedded Software. 382-397
  

Session 9

• Tetsuo Kamina, Tetsuo Tamai:
  McJava - A Design and Implementation of Java with Mixin-Types. 398-414
  
• Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin:
  A Relational Model for Object-Oriented Designs. 415-436
  
• Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang:
  Exploiting Java Objects Behavior for Memory Management and Optimizations. 437-452