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

• 2000
• 
  Don S. Batory:
  Refinements and Product Line Architectures. SAIG 2000: 3-4
• 
  Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini:
  Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
• 
  Cristiano Calcagno, Eugenio Moggi:
  Multi-Stage Imperative Languages: A Conservative Extension Result. SAIG 2000: 92-107
• 
  Conal Elliott, Sigbjørn Finne, Oege de Moor:
  Compiling Embedded Languages. SAIG 2000: 9-27
• 
  Adam Fischbach, John Hannan:
  Specification and Correctness of Lambda Lifting. SAIG 2000: 108-128
• 
  Bernd Fischer, Johann Schumann, Thomas Pressburger:
  Generating Data Analysis Programs from Statistical Models. SAIG 2000: 212-229
• 
  Simon Helsen, Peter Thiemann:
  Fragmental Specialization. SAIG 2000: 51-71
• 
  Samuel N. Kamin, Miranda Callahan, Lars Clausen:
  Lightweight and Generative Components 2: Binary-Level Components. SAIG 2000: 28-50
• 
  Richard B. Kieburtz:
  Implementing Closed Domain-Specific Languages. SAIG 2000: 1-2
• 
  Henning Makholm:
  On Jones-Optimal Specialization for Strongly Typed Languages. SAIG 2000: 129-148
• 
  Gilles Muller:
  Specialization of Systems Programs: Lessons and Perspectives. SAIG 2000: 7-8
• 
  Frank Pfenning:
  Reasoning about Staged Computation. SAIG 2000: 5-6
• 
  Norman Ramsey:
  Pragmatic Aspects of Reusable Program Generators. SAIG 2000: 149-171
• 
  Litong Song, Yoshihiko Futamura:
  A New Termination Approach for Specialization. SAIG 2000: 72-91
• 
  Rich Vuduc, James Demmel:
  Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. SAIG 2000: 190-211
• 
  Walid Taha:
  Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Lecture Notes in Computer Science 1924, Springer 2000, ISBN 3-540-41054-6 [contents]