• 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

• 2009
• 
  Umut A. Acar:
  Self-adjusting computation: (an overview). PEPM 2009: 1-6
• 
  Nabil El Boustani, Jurriaan Hage:
  Improving type error messages for generic java. PEPM 2009: 131-140
• 
  Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo:
  Designing aspects for side-effect localization. PEPM 2009: 189-198
• 
  Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz:
  Program analysis for bug detection using parfait: invited talk. PEPM 2009: 7-8
• 
  Jácome Cunha, João Saraiva, Joost Visser:
  From spreadsheets to relational databases and back. PEPM 2009: 179-188
• 
  Cristina David, Cristian Gherghina, Wei-Ngan Chin:
  Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50
• 
  Leon Evers, Jan Kuper:
  Partially evaluated sensor networks: automatic specialization for heterogeneous wireless sensor & actuator networks. PEPM 2009: 73-80
• 
  Maria João Frade, Ando Saabas, Tarmo Uustalu:
  Bidirectional data-flow analyses, type-systematically. PEPM 2009: 141-150
• 
  Robert Glück:
  Is there a fourth Futamura projection? PEPM 2009: 51-60
• 
  Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
  Shifting the stage: staging with delimited control. PEPM 2009: 111-120
• 
  Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
  SOC: a slicer for CSP specifications. PEPM 2009: 165-168
• 
  Huiqing Li, Simon J. Thompson:
  Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM 2009: 169-178
• 
  Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
  A flexible framework for programming with non-deterministicfunctions. PEPM 2009: 91-100
• 
  Matthieu Martel:
  Program transformation for numerical precision. PEPM 2009: 101-110
• 
  Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
  Type-based specialization of xml transformations. PEPM 2009: 61-72
• 
  Philippe Moret, Walter Binder, Alex Villazón:
  CCCP: complete calling context profiling in virtual execution environments. PEPM 2009: 151-160
• 
  Philippe Moret, Walter Binder, Alex Villazón:
  CProf: customizable calling context cross-profiling for embedded java processors. PEPM 2009: 161-164
• 
  Andrew Moss, Dan Page:
  Program interpolation. PEPM 2009: 31-40
• 
  Alberto Pardo, João Paulo Fernandes, João Saraiva:
  Shortcut fusion rules for the derivation of circular and higher-order monadic programs. PEPM 2009: 81-90
• 
  Neha Rungta, Eric G. Mercer:
  Guided model checking for programs with polymorphism. PEPM 2009: 21-30
• 
  Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary:
  Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM 2009: 121-130
• 
  Robert J. Simmons, Frank Pfenning:
  Linear logical approximations. PEPM 2009: 9-20
• 
  Germán Puebla, Germán Vidal:
  Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, ISBN 978-1-60558-327-3 [contents]