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

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

Session 2

Hideya Iwasaki: Pruning Unnecessary Computations using Improving Sequences. 46-57
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
Jan-Li Lin: Folds with Dependent Types. 74-83

Session 3

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

Session 4

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

Session 5:

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

Session 6

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

Session 7

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

Session 8

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

Session 9

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

Session 10

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

Last update Sat May 18 18:07:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page