APLAS 2002: Shanghai, China

@proceedings{DBLP:conf/aplas/2002,
  title     = {The Third Asian Workshop on Programming Languages and Systems,
               APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November
               29 - December 1, 2002, Proceedings},
  booktitle = {APLAS},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Koji Kagawa: Shrinkable Polymorphic Variants. 1-15 BibTeX
• Martin Sulzmann: An Overview of the Chameleon System. 16-30 BibTeX
• Jacques Garrigue: Relaxing the Value Restriction. 31-45 BibTeX

Session 2

• Hideya Iwasaki: Pruning Unnecessary Computations using Improving Sequences. 46-57 BibTeX
• Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi: Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. 58-73 BibTeX
• Jan-Li Lin: Folds with Dependent Types. 74-83 BibTeX

Session 3

• Wei Li: What Is the Right Logical Framework for Evolution of Knowledge. 84-94 BibTeX
• Guoyong, Peimin Deng, Jiali Feng: Specification based on Backus-Naur Formalism and Programming Language. 95-101 BibTeX
• 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. 102-113 BibTeX

Session 4

• Tetsuo Ida: Functional Logic Origami Programming. 114 BibTeX
• Kazunori Ueda: Programming with Logical Links. 115-126 BibTeX
• Atsushi Ohori, Kiyoshi Yamatodani: An Interoperable Calculus for External Object Access. 127 BibTeX

Session 5:

• Kwangkeun Yi, Hyunjun Eo: Static Extensionality Checking for Lambda-Definable Functions Over Lattices. 128-144 BibTeX
• Susumu Nishimura: Deforesting in Accumulating Parameters via Type-Directed Transformations. 145-159 BibTeX
• Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Fusion Transformation on Functional Programs of Regular Expression Types. 160-174 BibTeX

Session 6

• Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). 175-192 BibTeX
• Yuxi Fu: On Quasi-Open Bisimulation. 193-215 BibTeX
• Xinxin Liu, Yongjian Li: Bisimulation for Higher-Order Pi-calculus. 216-229 BibTeX

Session 7

• Robert Glück, Masahiko Kawabe: An Automatic Program Inverter for Lisp: Potential and Limitations. 230-245 BibTeX
• Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. 246-257 BibTeX
• Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Implementation of Parallel Tree Skeletons on Distributed Systems. 258-271 BibTeX

Session 8

• Takuma Murakami, Zhenjiang Hu, Masato Takeichi: An Optimal Staging Algorithm. 272-284 BibTeX
• Hyunjun Eo, Kwangkeun Yi: An Improved Differential Fixpoint Iteration Method for Program Analysis. 285-301 BibTeX
• Naoki Kobayashi, Keita Shirane: Type-Based Information Analysis for Low-Level Languages. 302-316 BibTeX
• Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. 317-333 BibTeX

Session 9

• Akihiko Takano, Shingo Nishioka, Osamu Imaichi, Yoshiki Niwa: Association Computation for Information Access. 334-336 BibTeX
• Bixin Li: An Approach for Assessing Software Coupling. 337-351 BibTeX
• Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi: Data Flow Analysis of Secure Information-Flow. 352-365 BibTeX

Session 10

• Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Yicho - A System for Programming Program Calculations. 366-382 BibTeX
• Yusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura: Recursion Removal from Recursive Programs with One Descent Function. 383-395 BibTeX
• Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending Sized Type with Collection Analysis. 396-413 BibTeX