• 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

• 2002
• 
  David Aspinall, Martin Hofmann:
  Another Type System for In-Place Update. ESOP 2002: 36-52
• 
  Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
  Soft Concurrent Constraint Programming. ESOP 2002: 53-67
• 
  Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot:
  Finite-Control Mobile Ambients. ESOP 2002: 295-313
• 
  Jérôme Feret:
  Dependency Analysis of Mobile Systems. ESOP 2002: 314-330
• 
  Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
  Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
• 
  Neal Glew:
  A Theory of Second-Order Trees. ESOP 2002: 147-161
• 
  Eric Goubault, Matthieu Martel, Sylvie Putot:
  Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212
• 
  Dan Grossman:
  Existential Types for Imperative Languages. ESOP 2002: 21-35
• 
  Tom Hirschowitz, Xavier Leroy:
  Mixin Modules in a Call-by-Value Setting. ESOP 2002: 6-20
• 
  Susan Horwitz:
  Tool Support for Improving Test Coverage. ESOP 2002: 162-177
• 
  Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
  An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97
• 
  Mahmut T. Kandemir:
  Data Space Oriented Tiling. ESOP 2002: 178-193
• 
  James Laird:
  Exceptions, Continuations and Macro-expressiveness. ESOP 2002: 133-146
• 
  Matthieu Martel:
  Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. ESOP 2002: 194-208
• 
  Morgan McGuire, Shriram Krishnamurthi, John F. Hughes:
  Programming Languages for Compressing Graphics. ESOP 2002: 68-82
• 
  J. Gregory Morrisett:
  Type Checking Systems Code. ESOP 2002: 1-5
• 
  Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
  Automatic Complexity Analysis. ESOP 2002: 243-261
• 
  Peter Thiemann:
  A Prototype Dependency Calculus. ESOP 2002: 228-242
• 
  Mitchell Wand, Galen B. Williamson:
  A Modular, Extensible Proof Method for Small-Step Flow Analyses. ESOP 2002: 213-227
• 
  Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov:
  Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. ESOP 2002: 278-294
• 
  Stephanie Weirich:
  Higher-Order Intensional Type Analysis. ESOP 2002: 98-114
• 
  Joe B. Wells, Christian Haack:
  Branching Types. ESOP 2002: 115-132
• 
  Daniel Le Métayer:
  Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2305, Springer 2002, ISBN 3-540-43363-5 [contents]