Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.
type: Item
instance of: scholarly article
title: Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.
zbMATH Open document ID: 1063.68002
published in: Lecture Notes in Computer Science
publication date: 2005-06-13T00:00:00Z
review text: 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 ge…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 2175708
describes a project that uses: Matlab
MaRDI profile type: Publication
full work available at URL: b102225
OpenAlex ID: W2796564118
DOI: 10.1007/B102225
description: scientific article; zbMATH DE number 2175708