Abstract is missing.
- A CLP Approach to Modelling SystemsJoxan Jaffar. 1 [doi]
- An Algebraic Approach to Bi-directional UpdatingShin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. 2-20 [doi]
- Network FusionPascal Fradet, Stéphane Hong Tuan Ha. 21-40 [doi]
- Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear TypeKoichi Kodama, Kohei Suenaga, Naoki Kobayashi. 41-56 [doi]
- An Implementation of Subtyping Among Regular Expression TypesKenny Zhuo Ming Lu, Martin Sulzmann. 57-73 [doi]
- An Implementation Scheme for XML Transformation Languages Through Derivation of Stream ProcessorsKeisuke Nakano. 74-90 [doi]
- Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War StoryTobias Lindahl, Konstantinos F. Sagonas. 91-106 [doi]
- History Effects and VerificationChristian Skalka, Scott F. Smith. 107-128 [doi]
- Controlled Declassification Based on Intransitive NoninterferenceHeiko Mantel, David Sands. 129-145 [doi]
- A Concurrent System of Multi-ported Processes with Causal DependencyTatsuya Abe. 146-162 [doi]
- Concurrency Combinators for Declarative SynchronizationPawel T. Wojciechowski. 163-178 [doi]
- A Uniform Reduction Equivalence for Process CalculiZining Cao. 179-195 [doi]
- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)Frank Pfenning. 196 [doi]
- PType System: A Featherweight Parallelizability DetectorDana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu. 197-212 [doi]
- A Type Theory for Krivine-Style Evaluation and CompilationKwanghoon Choi, Atsushi Ohori. 213-228 [doi]
- Region-Based Memory Management for a Dynamically-Typed LanguageAkihito Nagata, Naoki Kobayashi, Akinori Yonezawa. 229-245 [doi]
- Protocol SpecializationMatthias Neubauer, Peter Thiemann. 246-261 [doi]
- Automatic Generation of Editors for Higher-Order Data StructuresPeter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Arjen van Weelden. 262-279 [doi]
- A MATLAB-Based Code Generator for Sparse Matrix ComputationsHideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamura. 280-295 [doi]
- D-Fusion: A Distinctive Fusion CalculusMichele Boreale, Maria Grazia Buscemi, Ugo Montanari. 296-310 [doi]
- A Functional Language for Logarithmic SpacePeter Møller Neergaard. 311-326 [doi]
- Build, Augment and Destroy, UniversallyNeil Ghani, Tarmo Uustalu, Varmo Vene. 327-347 [doi]
- Free S-Monoids: A Higher-Order Syntax with MetavariablesMakoto Hamana. 348-363 [doi]
- The Scala Experiment - Can We Provide Better Language Support for Component Systems?Martin Odersky. 364 [doi]
- Pointcuts as Functional QueriesMichael Eichberg, Mira Mezini, Klaus Ostermann. 366-381 [doi]
- Formal Design and Verification of Real-Time Embedded SoftwarePao-Ann Hsiung, Shang-Wei Lin. 382-397 [doi]
- McJava - A Design and Implementation of Java with Mixin-TypesTetsuo Kamina, Tetsuo Tamai. 398-414 [doi]
- A Relational Model for Object-Oriented DesignsJifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin. 415-436 [doi]
- Exploiting Java Objects Behavior for Memory Management and OptimizationsZoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang. 437-452 [doi]