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

• 2011
• 
  Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim:
  Handling Non-linear Operations in the Value Analysis of COSTA. Bytecode@ETAPS 2011: 3-17
• 
  Damon Fenacci, Kenneth MacKenzie:
  Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. Bytecode@ETAPS 2011: 19-32
• 
  Pierre Ganty, Mark Marron:
  Preface. Bytecode@ETAPS 2011: 1
• 
  Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, Bernhard Scholz:
  Treegraph-based Instruction Scheduling for Stack-based Virtual Machines. Bytecode@ETAPS 2011: 33-45
• 
  David J. Pearce, James Noble:
  Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Bytecode@ETAPS 2011: 47-59
• 
  Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini:
  Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. Bytecode@ETAPS 2011: 61-74
• 
  Pierre Ganty, Mark Marron:
  Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279(1), Elsevier 2011 [contents]