APLAS 2001: Daejeon, Korea

@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