Abstract is missing.
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage CollectionKoichi Takahashi, Masami Hagiya. 1-8
- Deriving Pre-Conditions for Array Bound Check EliminationWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. 9-21
- Proving Syntactic Properties of Exceptions in an Ordered Logical FrameworkJeff Polakow, Kwangkeun Yi. 23-32
- Conditional Analysis and VerificationNevin Heintze, Joxan Jaffar, Razvan Voicu. 33-49
- Linearity Analysis of Concurrent Logic ProgramsKazunori Ueda. 51-68
- A Note on Model Checkers Reuse and ValidationNikolay V. Shilov, Kwangkeun Yi. 69-77
- A Generalization of Hybrid Let-Polymorphic Type Inference AlgorithmsOukseh Lee, Kwangkeun Yi. 79-88
- A Declarative Approach to Concurrency in JavaRafael Ramirez, Andrew E. Santosa. 89-98
- Kima - An Automated Error Correction System for Concurrent Logic ProgramsYasuhiro Ajiro, Kazunori Ueda. 99-118
- Mining Optimized RangesHaiyan Zhao, Zhenjiang Hu, Masato Takeichi. 119-127
- Generic Validation of Structural Content with Parametric ModulesTyng-Ruey Chuang. 129-140
- Principles of Inverse Computation in a Functional LanguageSergei M. Abramov, Robert Glück. 141-152
- On Building Trees with Minimum Height, RelationallyShin-Cheng Mu. 153-162
- An Open Environment for Cooperative Equational SolvingTetsuo Ida, Mircea Marin. 163-166
- An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP MachinesHui Wu, Joxan Jaffar. 167-178
- Logical Analysis of Assembly LanguageAtsushi Ohori. 179
- Light Logic and Resource Bounded ComputationC.-H. Luke Ong. 181
- Automatic Generation of Very Efficient Programs by Generalized Partial ComputationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. 183-191
- Partial CPS Transformation Using Static AnnotationJungtaek Kim, Kwangkeun Yi. 193-202
- A New Criterion for Safe Program TransformationsYasuhiko Minamide. 203-209
- Berlioz: Compiling Oz to Java BytecodeLe Xuan Thang. 211-221
- A Note on Algebraic Structure of Tree Decomposition of GraphsMizuhito Ogawa. 223-229