APLAS 2004: Taipei, Taiwan
Wei-Ngan Chin (Ed.): Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-23724-0
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
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
- 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
- Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa: Region-Based Memory Management for a Dynamically-Typed Language. 229-245
Session 6
- 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
- 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
- Pao-Ann Hsiung, Shang-Wei Lin: Formal Design and Verification of Real-Time Embedded Software. 382-397
Session 9
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team