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

• 2010
• 
  Corinne Ancourt, Fabien Coelho, François Irigoin:
  A Modular Static Analysis Approach to Affine Loop Invariants Detection. NSAD@SAS 2010: 3-16
• 
  Edd Barrett, Andy King:
  Range and Set Abstraction using SAT. NSAD@SAS 2010: 17-27
• 
  Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot:
  Abstract Fixpoint Computations with Numerical Acceleration Methods. NSAD@SAS 2010: 29-42
• 
  Matt Elder, Denis Gopan, Thomas W. Reps:
  View-Augmented Abstractions. NSAD@SAS 2010: 43-57
• 
  Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert:
  Relational Abstract Domain of Weighted Hexagons. NSAD@SAS 2010: 59-72
• 
  Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli:
  Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. NSAD@SAS 2010: 73-87
• 
  Jacob M. Howe, Andy King, Charles Lawrence-Jones:
  Quadtrees as an Abstract Domain. NSAD@SAS 2010: 89-100
• 
  Antoine Miné, Enric Rodríguez-Carbonell:
  Preface. NSAD@SAS 2010: 1-2
• 
  Peter Schrammel, Bertrand Jeannet:
  Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. NSAD@SAS 2010: 101-114
• 
  Axel Simon:
  A Note on the Inversion Join for Polyhedral Analysis. NSAD@SAS 2010: 115-126
• 
  Axel Simon:
  Speeding up Polyhedral Analysis by Identifying Common Constraints. NSAD@SAS 2010: 127-138
• 
  Pascal Sotin, Bertrand Jeannet, Xavier Rival:
  Concrete Memory Models for Shape Analysis. NSAD@SAS 2010: 139-150
• 
  Antoine Miné, Enric Rodríguez-Carbonell:
  Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents]