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

• 2010
• 
  Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene:
  An Interactive Tool for Analyzing Embedded SQL Queries. APLAS 2010: 131-138
• 
  Konrad Anton, Peter Thiemann:
  Towards Deriving Type Systems and Implementations for Coroutines. APLAS 2010: 63-79
• 
  Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
  Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438
• 
  Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts:
  Typechecking Higher-Order Security Libraries. APLAS 2010: 47-62
• 
  Aziem Chawdhary, Hongseok Yang:
  Metric Spaces and Termination Analyses. APLAS 2010: 156-171
• 
  Delphine Demange, Thomas P. Jensen, David Pichardie:
  A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS 2010: 97-113
• 
  Andrea Flexeder, Bogdan Mihaila, Michael Petter, Helmut Seidl:
  Interprocedural Control Flow Reconstruction. APLAS 2010: 188-203
• 
  Jacques Garrigue:
  A Certified Implementation of ML with Structural Polymorphism. APLAS 2010: 360-375
• 
  Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
  Data Structure Fusion. APLAS 2010: 204-221
• 
  Chaodong He:
  Model Independent Order Relations for Processes. APLAS 2010: 408-423
• 
  Aquinas Hobor, Robert Dockins, Andrew W. Appel:
  A Logical Mix of Approximation and Separation. APLAS 2010: 439-454
• 
  Jan Hoffmann, Martin Hofmann:
  Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. APLAS 2010: 172-187
• 
  Bart Jacobs, Jan Smans, Frank Piessens:
  A Quick Tour of the VeriFast Program Verifier. APLAS 2010: 304-311
• 
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara:
  Context-Preserving XQuery Fusion. APLAS 2010: 255-270
• 
  Shin-ya Katsumata:
  Categorical Descriptional Composition. APLAS 2010: 222-238
• 
  Martin Kero, Pawel Pietrzak, Johan Nordlander:
  Live Heap Space Bounds for Real-Time Systems. APLAS 2010: 287-303
• 
  Gerwin Klein:
  From a Verified Kernel towards Verified Systems. APLAS 2010: 21-33
• 
  Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
  Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343
• 
  Ugo Dal Lago, Ulrich Schöpp:
  Type Inference for Sublinear Space Functional Programming. APLAS 2010: 376-391
• 
  Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou:
  A Calculus for Hybrid CSP. APLAS 2010: 1-15
• 
  Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
  Liberal Typing for Functional Logic Programs. APLAS 2010: 80-96
• 
  Dale Miller:
  Reasoning about Computations Using Two-Levels of Logic. APLAS 2010: 34-46
• 
  Axel Simon, Liqian Chen:
  Simple and Precise Widenings for H-Polyhedra. APLAS 2010: 139-155
• 
  Gang Tan:
  JNI Light: An Operational Model for the Core JNI. APLAS 2010: 114-130
• 
  Liangliang Tong, Francis C. M. Lau:
  Index-Compact Garbage Collection. APLAS 2010: 271-286
• 
  Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi:
  Verification of Tree-Processing Programs via Higher-Order Model Checking. APLAS 2010: 312-327
• 
  Edsko de Vries, Vasileios Koutavas, Matthew Hennessy:
  Liveness of Communicating Transactions (Extended Abstract). APLAS 2010: 392-407
• 
  Mingsheng Ying:
  Foundations of Quantum Programming (Extended Abstract). APLAS 2010: 16-20
• 
  Jianzhou Zhao, Qi Zhang, Steve Zdancewic:
  Relational Parametricity for a Polymorphic Linear Lambda Calculus. APLAS 2010: 344-359
• 
  Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu:
  Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. APLAS 2010: 239-254

skipping 1 more match