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

• 2001
• 
  Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
  Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184
• 
  Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau:
  Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. SAS 2001: 20-39
• 
  Bruno Blanchet:
  Abstracting Cryptographic Protocols by Prolog Rules. SAS 2001: 433-436
• 
  Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu:
  Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355
• 
  Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof:
  Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278
• 
  Nurit Dor, Michael Rodeh, Shmuel Sagiv:
  Cleanness Checking of String Manipulations in C Programs via Integer Analysis. SAS 2001: 194-212
• 
  Jérôme Feret:
  Abstract Interpretation-Based Static Analysis of Mobile Ambients. SAS 2001: 412-430
• 
  Roberto Giacobazzi, Elisa Quintarelli:
  Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373
• 
  Kevin Glynn, Peter J. Stuckey, Martin Sulzmann:
  Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
• 
  Andrew D. Gordon, Alan Jeffrey:
  A Type and Effect Analysis of Security Protocols. SAS 2001: 432-432
• 
  Eric Goubault:
  Static Analyses of the Precision of Floating-Point Operations. SAS 2001: 234-259
• 
  Raghavan Komondoor, Susan Horwitz:
  Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56
• 
  K. Rustan M. Leino:
  Applications of Extended Static Checking. SAS 2001: 185-193
• 
  Francesca Levi, Sergio Maffeis:
  An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001: 395-411
• 
  Donglin Liang, Mary Jean Harrold:
  Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. SAS 2001: 279-298
• 
  Yanhong A. Liu, Ning Li, Scott D. Stoller:
  Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233
• 
  Lunjin Lu:
  Parameterizing a Groundness Analysis of Logic Programs. SAS 2001: 146-164
• 
  Frédéric Mesnard, Ulrich Neumerkel:
  Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs. SAS 2001: 93-110
• 
  David Monniaux:
  An Abstract Analysis of the Probabilistic Termination of Programs. SAS 2001: 111-126
• 
  Andrew C. Myers:
  Security-Typed Languages and Distributed Computation. SAS 2001: 437-438
• 
  Sriram K. Rajamani, Jakob Rehof:
  A Behavioral Module System for the Pi-Calculus. SAS 2001: 375-394
• 
  Martin C. Rinard:
  Analysis of Multithreaded Programs. SAS 2001: 1-19
• 
  Fred B. Schneider:
  Language-Based Security: What's Needed and Why. SAS 2001: 374
• 
  Richard Sharp, Alan Mycroft:
  Soft Scheduling for Hardware. SAS 2001: 57-72
• 
  Natalia Sidorova, Martin Steffen:
  Embedding Chaos. SAS 2001: 319-334
• 
  Fausto Spoto:
  Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS 2001: 127-145
• 
  David A. Wagner:
  Static Analysis and Software Assurance. SAS 2001: 431
• 
  Farn Wang, Hsu-Chun Yen:
  Parametric Optimization of Open Real-Time Systems. SAS 2001: 299-318
• 
  Patrick Cousot:
  Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, ISBN 3-540-42314-1 [contents]