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

• 2005
• 
  Martín Abadi, Bruno Blanchet:
  Computer-assisted verification of a protocol for certified email. Sci. Comput. Program. 58(1-2): 3-27 (2005)
• 
  Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
  Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005)
• 
  Christopher Cole, Maurice Herlihy:
  Snapshots and software transactional memory. Sci. Comput. Program. 58(3): 310-324 (2005)
• 
  Radhia Cousot:
  Static Analysis Symposium 2003. Sci. Comput. Program. 58(1-2): 1-2 (2005)
• 
  John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav:
  Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
• 
  Aaron Greenhouse, Timothy J. Halloran, William L. Scherlis:
  Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)
• 
  Samuel Z. Guyer, Calvin Lin:
  Error checking with client-driven pointer analysis. Sci. Comput. Program. 58(1-2): 83-114 (2005)
• 
  Tim Harris:
  Exceptions and side-effects in atomic blocks. Sci. Comput. Program. 58(3): 325-343 (2005)
• 
  Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
  Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1-2): 115-140 (2005)
• 
  Doug Lea:
  The java.util.concurrent synchronizer framework. Sci. Comput. Program. 58(3): 293-309 (2005)
• 
  Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
  Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005)
• 
  Mark Moir, Nir Shavit, Jan Vitek:
  Concurrency and synchronization in Java programs. Sci. Comput. Program. 58(3): 291-292 (2005)
• 
  David Monniaux:
  Abstract interpretation of programs as Markov decision processes. Sci. Comput. Program. 58(1-2): 179-205 (2005)
• 
  Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski:
  Weighted pushdown systems and their application to interprocedural dataflow analysis. Sci. Comput. Program. 58(1-2): 206-263 (2005)
• 
  James Rose, Nikhil Swamy, Michael Hicks:
  Dynamic inference of polymorphic lock types. Sci. Comput. Program. 58(3): 366-383 (2005)
• 
  Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv:
  Establishing local temporal heap safety properties with applications to compile-time memory management. Sci. Comput. Program. 58(1-2): 264-289 (2005)
• 
  Abdelsalam Shanneb, John Potter, James Noble:
  Exclusion requirements and potential concurrency for composite objects. Sci. Comput. Program. 58(3): 344-365 (2005)