default search action
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. APLAS 2002: 1-15 - Martin Sulzmann:
An Overview of the Chameleon System. APLAS 2002: 16-30 - Jacques Garrigue:
Relaxing the Value Restriction. APLAS 2002: 31-45
Session 2
- Hideya Iwasaki:
Pruning Unnecessary Computations using Improving Sequences. APLAS 2002: 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. APLAS 2002: 58-73 - Jan-Li Lin:
Folds with Dependent Types. APLAS 2002: 74-83
Session 3
- Wei Li:
What Is the Right Logical Framework for Evolution of Knowledge. APLAS 2002: 84-94 - 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
- Tetsuo Ida:
Functional Logic Origami Programming. APLAS 2002: 114 - Kazunori Ueda:
Programming with Logical Links. APLAS 2002: 115-126 - 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 - Yuxi Fu:
On Quasi-Open Bisimulation. APLAS 2002: 193-215 - Xinxin Liu, Yongjian Li:
Bisimulation for Higher-Order Pi-calculus. APLAS 2002: 216-229
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
- Takuma Murakami, Zhenjiang Hu, Masato Takeichi:
An Optimal Staging Algorithm. APLAS 2002: 272-284 - 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 - Bixin Li:
An Approach for Assessing Software Coupling. APLAS 2002: 337-351 - 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
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-25 22:48 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: