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