APLAS 2000

22 papers

1. A Declarative Approach to Concurrency in Java · Rafael Ramírez, Andrew E. Santosa
2. A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms · Oukseh Lee, Kwangkeun Yi
3. A New Criterion for Safe Program Transformations · Yasuhiko Minamide
4. A Note on Algebraic Structure of Tree Decomposition of Graphs · Mizuhito Ogawa
5. A Note on Model Checkers Reuse and Validation · Nikolay V. Shilov, Kwangkeun Yi
6. Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection · Koichi Takahashi, Masami Hagiya
7. An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines · Hui Wu, Joxan Jaffar
8. An Open Environment for Cooperative Equational Solving · Tetsuo Ida, Mircea Marin
9. Automatic Generation of Very Efficient Programs by Generalized Partial Computation · Yoshihiko Futamura, Zenjiro Konishi, Robert Glück
10. Berlioz: Compiling Oz to Java Bytecode · Le Xuan Thang
11. Conditional Analysis and Verification · Nevin Heintze, Joxan Jaffar, Razvan Voicu
12. Deriving Pre-Conditions for Array Bound Check Elimination · Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
13. Generic Validation of Structural Content with Parametric Modules · Tyng-Ruey Chuang
14. Kima - An Automated Error Correction System for Concurrent Logic Programs · Yasuhiro Ajiro, Kazunori Ueda
15. Light Logic and Resource Bounded Computation · C.-H. Luke Ong
16. Linearity Analysis of Concurrent Logic Programs · Kazunori Ueda
17. Logical Analysis of Assembly Language · Atsushi Ohori
18. Mining Optimized Ranges · Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
19. On Building Trees with Minimum Height, Relationally · Shin-Cheng Mu
20. Partial CPS Transformation Using Static Annotation · Jungtaek Kim, Kwangkeun Yi
21. Principles of Inverse Computation in a Functional Language · Sergei M. Abramov, Robert Glück
22. Proving Syntactic Properties of Exceptions in an Ordered Logical Framework · Jeff Polakow, Kwangkeun Yi