Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.
The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 1029.00062) . Indexed articles: \textit{Mu, Shin-Cheng; Hu, Zhenjiang; Takeichi, Masato}, An algebraic approach to bi-directional updating, 2-20 [Zbl 1116.68411] \textit{Fradet, Pascal; Ha, Stéphane Hong Tuan}, Network fusion, 21-40 [Zbl 1116.68383] \textit{Kodama, Koichi; Suenaga, Kohei; Kobayashi, Naoki}, Translation of tree-processing programs into stream-processing programs based on ordered linear type, 41-56 [Zbl 1116.68385] \textit{Lu, Kenny Zhuo Ming; Sulzmann, Martin}, An implementation of subtyping among regular expression types, 57-73 [Zbl 1116.68396] \textit{Nakano, Keisuke}, An implementation scheme for XML transformation languages through derivation of stream processors, 74-90 [Zbl 1116.68376] \textit{Skalka, Christian; Smith, Scott}, History effects and verification, 107-128 [Zbl 1116.68381] \textit{Mantel, Heiko; Sands, David}, Controlled declassification based on intransitive noninterference, 129-145 [Zbl 1116.68397] \textit{Abe, Tatsuya}, A concurrent system of multi-ported processes with causal dependency, 146-162 [Zbl 1116.68539] \textit{Wojciechowski, Paweł T.}, Concurrency combinators for declarative synchronization, 163-178 [Zbl 1116.68543] \textit{Cao, Zining}, A uniform reduction equivalence for process calculi, 179-195 [Zbl 1116.68541] \textit{Xu, Dana N.; Khoo, Siau-Cheng; Hu, Zhenjiang}, PType system: A featherweight parallelizability detector, 197-212 [Zbl 1116.68389] \textit{Choi, Kwanghoon; Ohori, Atsushi}, A type theory for Krivine-style evaluation and compilation, 213-228 [Zbl 1116.68393] \textit{Nagata, Akihito; Kobayashi, Naoki; Yonezawa, Akinori}, Region-based memory management for a dynamically-typed language, 229-245 [Zbl 1116.68375] \textit{Neubauer, Matthias; Thiemann, Peter}, Protocol specialization, 246-261 [Zbl 1116.68386] \textit{Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus; van Weelden, Arjen}, Automatic generation of editors for higher-order data structures, 262-279 [Zbl 1116.68379] \textit{Kawabata, Hideyuki; Suzuki, Mutsumi; Kitamura, Toshiaki}, A MATLAB-based code generator for sparse matrix computations, 280-295 [Zbl 1116.68391] \textit{Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo}, D-fusion: A distinctive fusion calculus, 296-310 [Zbl 1116.68540] \textit{Neergaard, Peter Møller}, A functional language for logarithmic space, 311-326 [Zbl 1116.68377] \textit{Ghani, Neil; Uustalu, Tarmo; Vene, Varmo}, Build, augment and destroy, universally, 327-347 [Zbl 1116.68490] \textit{Hamana, Makoto}, Free \(\Sigma\)-monoids: A higher-order syntax with metavariables, 348-363 [Zbl 1116.68394] \textit{Eichberg, Michael; Mezini, Mira; Ostermann, Klaus}, Pointcuts as functional queries, 366-381 [Zbl 1116.68372] \textit{Hsiung, Pao-Ann; Lin, Shang-Wei}, Formal design and verification of real-time embedded software, 382-397 [Zbl 1116.68398] \textit{Kamina, Tetsuo; Tamai, Tetsuo}, McJava -- a design and implementation of Java with mixin-types, 398-414 [Zbl 1116.68374] \textit{Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao}, A relational model for object-oriented designs, 415-436 [Zbl 1116.68373] \textit{Yu, Zoe C. H.; Lau, Francis C. M.; Wang, Cho-Li}, Exploiting Java objects behavior for memory management and optimizations, 437-452 [Zbl 1116.68378]
scientific article; zbMATH DE number 2175708