APLAS 2001:
Daejeon,
Korea
The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings.
2001 
@proceedings{DBLP:conf/aplas/2001,
title = {The Second Asian Workshop on Programming Languages and Systems,
APLAS'01, Korea Advanced Institute of Science and Technology,
Daejeon, Korea, December 17-18, 2001, Proceedings},
booktitle = {APLAS},
year = {2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Yukiyoshi Kameyama:
Dynamic Control Operators in Type Theory.
1-11
- Kwanghoon Choi, Taisook Han:
A Type System for the Push-Enter Model.
13-27
- Yasuhiko Minamide, Koji Okuma:
Verifying the CPS Transformation in Isabelle/HOL.
29-37
- Saswat Anand, Siau-Cheng Khoo:
Efficient Interpretation of Chart Pattern Language.
39-48
- Norio Kobayashi, Mircea Marin, Tetsuo Ida:
Collaborative Constraint Functional Logic Programming in an Open Environment.
49-59
- Mikhail A. Bulyonkov, N. N. Filatkina:
Exploring Dataflow in Legacy Systems.
61-73
- Shin-Cheng Mu, Richard S. Bird:
Functional Quantum Programming.
75-88
- Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All.
89-101
- Robert Glück:
Jones Optimality and the Strength of Program Specializers.
103-116
- Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Higher-Order Polymorphic Sized Types for Safety Checks.
117-131
- Oukseh Lee:
An Effect System Combining Alias and Liveness for Explicit Memory Reuse.
133-145
- Atsushi Igarashi, Naoki Kobayashi:
Resource Usage Analysis.
147-158
- Jinyun Xue:
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.
159-169
- Joonseon Ahn:
A Differential Evaluation of Fixpoint Iterations.
171-182
- Mizuhito Ogawa:
Abstract Interpretation over Infinite Abstract Domains (Tentative Report).
183-191
- Mitsuharu Yamamoto, Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.
193-205
- Farn Wang:
Efficient Model-Checking of Timed Automata with Clock-Restriction Diagram.
207-224
- Kyung-Goo Doh, Seung Cheol Shin:
Analysis of Secure Information Flow by Model-Checking.
225-236
- Norio Kato, Kazunori Ueda:
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.
237-250
- Tyng-Ruey Chuang, Jan-Li Lin:
On Modular Transformations of Structural Content.
251-263
- Eijiro Sumii, Hideo Bannai:
VM lambda: a Functional Calculus for Scientific Discovery.
265-275
- Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.
277-288
- Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn:
Computability and Complexity Results for a Spatial Assertion Language for Data Structures.
289-300
- Atsushi Ohori:
Proof-Directed Compilation for Inter-operable Languages.
301-311
- Kazunori Ueda:
Resource-Passing Concurrent Programming.
313-327
- Jacques Garrigue:
Simple Type Inference for Structural Polymorphism.
329-343
- Andrzej S. Murawski, Kwangkeun Yi:
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices.
345-362
- Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges.
363-376
- Byeong-Mo Chang, Jang-Wu Jo:
Estimating Exception-Induced Control Flow for Java.
377-387
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
