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

• 2007
• 
  Umut A. Acar, Matthias Blume, Jacob Donham:
  A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474
• 
  Lucia Acciai, Michele Boreale, Silvano Dal-Zilio:
  A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63
• 
  Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
  Cost Analysis of Java Bytecode. ESOP 2007: 157-172
• 
  Gilles Barthe, David Pichardie, Tamara Rezk:
  A Certified Lightweight Non-interference Java Bytecode Verifier. ESOP 2007: 125-140
• 
  Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin:
  Small Witnesses for Abstract Interpretation-Based Proofs. ESOP 2007: 268-283
• 
  Frédéric Blanqui, Thérèse Hardin, Pierre Weis:
  On the Implementation of Construction Functions for Non-free Concrete Data Types. ESOP 2007: 95-109
• 
  Frank S. de Boer, Dave Clarke, Einar Broch Johnsen:
  A Complete Guide to the Future. ESOP 2007: 316-330
• 
  Maria Grazia Buscemi, Ugo Montanari:
  CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP 2007: 18-32
• 
  Marco Carbone, Kohei Honda, Nobuko Yoshida:
  Structured Communication-Centred Programming for Web Services. ESOP 2007: 2-17
• 
  Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio:
  The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP 2007: 331-346
• 
  Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula:
  Dependent Types for Low-Level Programming. ESOP 2007: 520-535
• 
  Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang:
  Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
• 
  Derek Dreyer, Matthias Blume:
  Principal Type Schemes for Modular Programs. ESOP 2007: 441-457
• 
  Robert Ennals, David Gay:
  Multi-language Synchronization. ESOP 2007: 475-489
• 
  Xinyu Feng, Rodrigo Ferreira, Zhong Shao:
  On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP 2007: 173-188
• 
  Adrian Francalanza, Matthew Hennessy:
  A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). ESOP 2007: 395-410
• 
  Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou:
  Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252
• 
  Thomas Gawlitza, Helmut Seidl:
  Precise Fixpoint Computation Through Strategy Iteration. ESOP 2007: 300-315
• 
  Sumit Gulwani, Ashish Tiwari:
  Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267
• 
  Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert:
  Immutable Objects for a Java-Like Language. ESOP 2007: 347-362
• 
  Ichiro Hasuo, Yoshinobu Kawabe:
  Probabilistic Anonymity Via Coalgebraic Simulations. ESOP 2007: 379-394
• 
  Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
  Anti-pattern Matching. ESOP 2007: 110-124
• 
  Kenneth L. Knowles, Cormac Flanagan:
  Type Reconstruction for General Refinement Types. ESOP 2007: 505-519
• 
  George Kuan, David MacQueen, Robert Bruce Findler:
  A Rewriting Semantics for Type Inference. ESOP 2007: 426-440
• 
  Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
  A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
• 
  Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
  Modal I/O Automata for Interface and Product Line Theories. ESOP 2007: 64-79
• 
  K. Rustan M. Leino, Wolfram Schulte:
  Using History Invariants to Verify Observers. ESOP 2007: 80-94
• 
  Guodong Li, Scott Owens, Konrad Slind:
  Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. ESOP 2007: 205-219
• 
  Heiko Mantel, Alexander Reinhard:
  Controlling the What and Where of Declassification in Language-Based Security. ESOP 2007: 141-156
• 
  Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal:
  Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204

skipping 6 more matches