• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

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