default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2000: Singapore
- The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings. 2000
- Koichi Takahashi, Masami Hagiya:
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8 - Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21 - Jeff Polakow, Kwangkeun Yi:
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS 2000: 23-32 - Nevin Heintze, Joxan Jaffar, Razvan Voicu:
Conditional Analysis and Verification. APLAS 2000: 33-49 - Kazunori Ueda:
Linearity Analysis of Concurrent Logic Programs. APLAS 2000: 51-68 - Nikolay V. Shilov, Kwangkeun Yi:
A Note on Model Checkers Reuse and Validation. APLAS 2000: 69-77 - Oukseh Lee, Kwangkeun Yi:
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88 - Rafael Ramírez, Andrew E. Santosa:
A Declarative Approach to Concurrency in Java. APLAS 2000: 89-98 - Yasuhiro Ajiro, Kazunori Ueda:
Kima - An Automated Error Correction System for Concurrent Logic Programs. APLAS 2000: 99-118 - Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
Mining Optimized Ranges. APLAS 2000: 119-127 - Tyng-Ruey Chuang:
Generic Validation of Structural Content with Parametric Modules. APLAS 2000: 129-140 - Sergei M. Abramov, Robert Glück:
Principles of Inverse Computation in a Functional Language. APLAS 2000: 141-152 - Shin-Cheng Mu:
On Building Trees with Minimum Height, Relationally. APLAS 2000: 153-162 - Tetsuo Ida, Mircea Marin:
An Open Environment for Cooperative Equational Solving. APLAS 2000: 163-166 - Hui Wu, Joxan Jaffar:
An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines. APLAS 2000: 167-178 - Atsushi Ohori:
Logical Analysis of Assembly Language. APLAS 2000: 179 - C.-H. Luke Ong:
Light Logic and Resource Bounded Computation. APLAS 2000: 181 - Yoshihiko Futamura, Zenjiro Konishi, Robert Glück:
Automatic Generation of Very Efficient Programs by Generalized Partial Computation. APLAS 2000: 183-191 - Jungtaek Kim, Kwangkeun Yi:
Partial CPS Transformation Using Static Annotation. APLAS 2000: 193-202 - Yasuhiko Minamide:
A New Criterion for Safe Program Transformations. APLAS 2000: 203-209 - Le Xuan Thang:
Berlioz: Compiling Oz to Java Bytecode. APLAS 2000: 211-221 - Mizuhito Ogawa:
A Note on Algebraic Structure of Tree Decomposition of Graphs. APLAS 2000: 223-229
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-14 21:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
