APLAS 2000: Singapore

@proceedings{DBLP:conf/aplas/2000,
  title     = {The First Asian Workshop on Programming Languages and Systems,
               APLAS 2000, National University of Singapore, Singapore, December
               18-20, 2000, Proceedings},
  booktitle = {APLAS},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Koichi Takahashi, Masami Hagiya: Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. 1-8 BibTeX
• Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-Conditions for Array Bound Check Elimination. 9-21 BibTeX
• Jeff Polakow, Kwangkeun Yi: Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. 23-32 BibTeX
• Nevin Heintze, Joxan Jaffar, Razvan Voicu: Conditional Analysis and Verification. 33-49 BibTeX
• Kazunori Ueda: Linearity Analysis of Concurrent Logic Programs. 51-68 BibTeX
• Nikolay V. Shilov, Kwangkeun Yi: A Note on Model Checkers Reuse and Validation. 69-77 BibTeX
• Oukseh Lee, Kwangkeun Yi: A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. 79-88 BibTeX
• Rafael Ramirez, Andrew E. Santosa: A Declarative Approach to Concurrency in Java. 89-98 BibTeX
• Yasuhiro Ajiro, Kazunori Ueda: Kima - An Automated Error Correction System for Concurrent Logic Programs. 99-118 BibTeX
• Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: Mining Optimized Ranges. 119-127 BibTeX
• Tyng-Ruey Chuang: Generic Validation of Structural Content with Parametric Modules. 129-140 BibTeX
• Sergei M. Abramov, Robert Glück: Principles of Inverse Computation in a Functional Language. 141-152 BibTeX
• Shin-Cheng Mu: On Building Trees with Minimum Height, Relationally. 153-162 BibTeX
• Tetsuo Ida, Mircea Marin: An Open Environment for Cooperative Equational Solving. 163-166 BibTeX
• Hui Wu, Joxan Jaffar: An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. 167-178 BibTeX
• Atsushi Ohori: Logical Analysis of Assembly Language. 179 BibTeX
• C.-H. Luke Ong: Light Logic and Resource Bounded Computation. 181 BibTeX
• Yoshihiko Futamura, Zenjiro Konishi, Robert Glück: Automatic Generation of Very Efficient Programs by Generalized Partial Computation. 183-191 BibTeX
• Jungtaek Kim, Kwangkeun Yi: Partial CPS Transformation Using Static Annotation. 193-202 BibTeX
• Yasuhiko Minamide: A New Criterion for Safe Program Transformations. 203-209 BibTeX
• Le Xuan Thang: Berlioz: Compiling Oz to Java Bytecode. 211-221 BibTeX
• Mizuhito Ogawa: A Note on Algebraic Structure of Tree Decomposition of Graphs. 223-229 BibTeX