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

• 2003
• 
  Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers:
  Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. Ada-Europe 2003: 129-141
• 
  Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers:
  European air traffic flow management: porting a large application to GNU/linux. SIGAda 2003: 29-37
• 2002
• 
  Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers:
  Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. Ada-Europe 2002: 193-204
• 2001
• 
  Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage:
  Migrating Large Applications from Ada83 to Ada95. Ada-Europe 2001: 380-391
• 
  Dirk Craeynest, Alfred Strohmeier:
  Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings. Lecture Notes in Computer Science 2043, Springer 2001, ISBN 3-540-42123-8 [contents]
• 1984
• 
  Dirk Craeynest, Geert Vansteenkiste, Johan Lewi:
  Construction of an ELL(1) syntax analyser for Ada with the compiler-generator LILA. ACM SIGPLAN Notices 19(1): 36-45 (1984)