• 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 25 matches

• 2009
• 
  Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla:
  Asymptotic Resource Usage Bounds. APLAS 2009: 294-310
• 
  Roberto M. Amadio:
  On Stratified Regions. APLAS 2009: 210-225
• 
  Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis:
  Bi-abductive Resource Invariant Synthesis. APLAS 2009: 259-274
• 
  Koen Claessen:
  The Twilight Zone: From Testing to Formal Specifications and Back Again. APLAS 2009: 1
• 
  Robert Dockins, Aquinas Hobor, Andrew W. Appel:
  A Fresh Look at Separation Algebras and Share Accounting. APLAS 2009: 161-177
• 
  Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang:
  Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. APLAS 2009: 275-293
• 
  Hongfei Fu:
  Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. APLAS 2009: 327-342
• 
  Daisuke Kimura, Yoshihiko Kakutani:
  Classical Natural Deduction for S4 Modal Logic. APLAS 2009: 243-258
• 
  Naoki Kobayashi:
  Types and Recursion Schemes for Higher-Order Program Verification. APLAS 2009: 2-3
• 
  Vincent Laviron, Francesco Logozzo:
  Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS 2009: 343-358
• 
  Ben Lippmeier:
  Witnessing Purity, Constancy and Mutability. APLAS 2009: 95-110
• 
  Yi Lu, John Potter, Jingling Xue:
  Ownership Downgrading for Ownership Types. APLAS 2009: 144-160
• 
  Akimasa Morihata:
  A Short Cut to Optimal Sequences. APLAS 2009: 63-78
• 
  Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker:
  Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. APLAS 2009: 47-62
• 
  Hakjoo Oh:
  Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. APLAS 2009: 14-29
• 
  Michele Pagani, Paolo Tranquilli:
  Parallel Reduction in Resource Lambda-Calculus. APLAS 2009: 226-242
• 
  Shigeyuki Sato, Hideya Iwasaki:
  A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. APLAS 2009: 79-94
• 
  Nobuyuki Sato, Eijiro Sumii:
  The Higher-Order, Call-by-Value Applied Pi-Calculus. APLAS 2009: 311-326
• 
  Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv:
  Abstract Transformers for Thread Correlation Analysis. APLAS 2009: 30-46
• 
  Armando Solar-Lezama:
  The Sketching Approach to Program Synthesis. APLAS 2009: 4-13
• 
  Kohei Suenaga, Naoki Kobayashi:
  Fractional Ownerships for Safe Memory Deallocation. APLAS 2009: 128-143
• 
  Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai:
  Weak updates and separation logic. APLAS 2009: 178-193
• 
  Jules Villard, Étienne Lozes, Cristiano Calcagno:
  Proving Copyless Message Passing. APLAS 2009: 194-209
• 
  Stefan Wehr, Peter Thiemann:
  On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127
• 
  Zhenjiang Hu:
  Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5904, Springer 2009, ISBN 978-3-642-10671-2 [contents]