APLAS 2002: Shanghai, China
- The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings. 2002
Session 1
Session 2
- Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi:
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS 2002: 58-73
Session 3
- Guoyong, Peimin Deng, Jiali Feng:
Specification based on Backus-Naur Formalism and Programming Language. APLAS 2002: 95-101 - Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán:
COPLA* - a Middleware for Distributed Databases. APLAS 2002: 102-113
Session 4
- Atsushi Ohori, Kiyoshi Yamatodani:
An Interoperable Calculus for External Object Access. APLAS 2002: 127
Session 5:
- Kwangkeun Yi, Hyunjun Eo:
Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS 2002: 128-144 - Susumu Nishimura:
Deforesting in Accumulating Parameters via Type-Directed Transformations. APLAS 2002: 145-159 - Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174
Session 6
- Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
Session 7
- Robert Glück, Masahiko Kawabe:
An Automatic Program Inverter for Lisp: Potential and Limitations. APLAS 2002: 230-245 - Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 - Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271
Session 8
- Hyunjun Eo, Kwangkeun Yi:
An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS 2002: 285-301 - Naoki Kobayashi, Keita Shirane:
Type-Based Information Analysis for Low-Level Languages. APLAS 2002: 302-316 - Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333
Session 9
- Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa:
Association Computation for Information Access. APLAS 2002: 334-336 - Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi:
Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365
Session 10
- Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382 - Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura:
Recursion Removal from Recursive Programs with One Descent Function. APLAS 2002: 383-395 - Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Extending Sized Type with Collection Analysis. APLAS 2002: 396-413