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