default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2004: Taipei, Taiwan
- Wei-Ngan Chin:
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings. Lecture Notes in Computer Science 3302, Springer 2004, 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 - Pascal Fradet, Stéphane Hong Tuan Ha:
Network Fusion. 21-40
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 Sagonas:
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. 91-106 - Christian Skalka, Scott F. Smith:
History Effects and Verification. 107-128 - 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 - Kwanghoon Choi, Atsushi Ohori:
A Type Theory for Krivine-Style Evaluation and Compilation. 213-228 - Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa:
Region-Based Memory Management for a Dynamically-Typed Language. 229-245
Session 6
- Matthias Neubauer, Peter Thiemann:
Protocol Specialization. 246-261 - 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 - Neil Ghani, Tarmo Uustalu, Varmo Vene:
Build, Augment and Destroy, Universally. 327-347 - 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
- Michael Eichberg, Mira Mezini, Klaus Ostermann:
Pointcuts as Functional Queries. 366-381 - Pao-Ann Hsiung, Shang-Wei Lin:
Formal Design and Verification of Real-Time Embedded Software. 382-397
Session 9
- Tetsuo Kamina, Tetsuo Tamai:
McJava - A Design and Implementation of Java with Mixin-Types. 398-414 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
