| 2004 | A CLP Approach to Modelling Systems. Joxan Jaffar |
| 2004 | A Concurrent System of Multi-ported Processes with Causal Dependency. Tatsuya Abe |
| 2004 | A Functional Language for Logarithmic Space. Peter Møller Neergaard |
| 2004 | A MATLAB-Based Code Generator for Sparse Matrix Computations. Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura |
| 2004 | A Relational Model for Object-Oriented Designs. Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
| 2004 | A Type Theory for Krivine-Style Evaluation and Compilation. Kwanghoon Choi, Atsushi Ohori |
| 2004 | A Uniform Reduction Equivalence for Process Calculi. Zining Cao |
| 2004 | An Algebraic Approach to Bi-directional Updating. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors. Keisuke Nakano |
| 2004 | An Implementation of Subtyping Among Regular Expression Types. Kenny Zhuo Ming Lu, Martin Sulzmann |
| 2004 | Automatic Generation of Editors for Higher-Order Data Structures. Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden |
| 2004 | Build, Augment and Destroy, Universally. Neil Ghani, Tarmo Uustalu, Varmo Vene |
| 2004 | Concurrency Combinators for Declarative Synchronization. Pawel T. Wojciechowski |
| 2004 | Controlled Declassification Based on Intransitive Noninterference. Heiko Mantel, David Sands |
| 2004 | D-Fusion: A Distinctive Fusion Calculus. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
| 2004 | Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. Tobias Lindahl, Konstantinos Sagonas |
| 2004 | Exploiting Java Objects Behavior for Memory Management and Optimizations. Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang |
| 2004 | Formal Design and Verification of Real-Time Embedded Software. Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | Free S-Monoids: A Higher-Order Syntax with Metavariables. Makoto Hamana |
| 2004 | History Effects and Verification. Christian Skalka, Scott F. Smith |
| 2004 | McJava - A Design and Implementation of Java with Mixin-Types. Tetsuo Kamina, Tetsuo Tamai |
| 2004 | Network Fusion. Pascal Fradet, Stéphane Hong Tuan Ha |
| 2004 | PType System: A Featherweight Parallelizability Detector. Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
| 2004 | Pointcuts as Functional Queries. Michael Eichberg, Mira Mezini, Klaus Ostermann |
| 2004 | Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings Wei-Ngan Chin |
| 2004 | Protocol Specialization. Matthias Neubauer, Peter Thiemann |
| 2004 | Region-Based Memory Management for a Dynamically-Typed Language. Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa |
| 2004 | Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk). Frank Pfenning |
| 2004 | The Scala Experiment - Can We Provide Better Language Support for Component Systems? Martin Odersky |
| 2004 | Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. Koichi Kodama, Kohei Suenaga, Naoki Kobayashi |