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

• 2010
• 
  Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang:
  Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32(3): 7:1-7:67 (2010)
• 
  Sven Apel, DeLesley Hutchins:
  A calculus for uniform feature composition. ACM Trans. Program. Lang. Syst. 32(5): 19:1-19:33 (2010)
• 
  Gogul Balakrishnan, Thomas W. Reps:
  WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32(6): 23:1-23:84 (2010)
• 
  John Tang Boyland:
  Semantics of fractional permissions with nesting. ACM Trans. Program. Lang. Syst. 32(6): 22:1-22:33 (2010)
• 
  Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa:
  Detecting bugs in register allocation. ACM Trans. Program. Lang. Syst. 32(4): 15:1-15:36 (2010)
• 
  Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
  A relational approach to interprocedural shape analysis. ACM Trans. Program. Lang. Syst. 32(2): 5:1-5:52 (2010)
• 
  Dennis Jeffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta:
  Execution suppression: An automated iterative technique for locating memory errors. ACM Trans. Program. Lang. Syst. 32(5): 17:1-17:36 (2010)
• 
  Kenneth L. Knowles, Cormac Flanagan:
  Hybrid type checking. ACM Trans. Program. Lang. Syst. 32(2): 6:1-6:34 (2010)
• 
  Naoki Kobayashi, Davide Sangiorgi:
  A hybrid type system for lock-freedom of mobile processes. ACM Trans. Program. Lang. Syst. 32(5): 16:1-16:49 (2010)
• 
  Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble:
  JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32(2): 4:1-4:37 (2010)
• 
  Kathryn S. McKinley, Keshav Pingali:
  La dolce vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(4): 10:1-10:6 (2010)
• 
  Kathryn S. McKinley, Keshav Pingali:
  La prossima vita at TOPLAS. ACM Trans. Program. Lang. Syst. 32(6): 20:1 (2010)
• 
  Rob van Nieuwpoort, Gosia Wrzesinska, Ceriel J. H. Jacobs, Henri E. Bal:
  Satin: A high-level and efficient grid programming model. ACM Trans. Program. Lang. Syst. 32(3): 9:1-9:39 (2010)
• 
  Thomas W. Reps, Mooly Sagiv, Alexey Loginov:
  Finite differencing of logical formulas for static analysis. ACM Trans. Program. Lang. Syst. 32(6): 24:1-24:55 (2010)
• 
  Salvatore Ruggieri, Fred Mesnard:
  Typing linear constraints. ACM Trans. Program. Lang. Syst. 32(6): 21:1-21:42 (2010)
• 
  Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth:
  Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. ACM Trans. Program. Lang. Syst. 32(4): 12:1-12:63 (2010)
• 
  Fausto Spoto, Fred Mesnard, Étienne Payet:
  A termination analyzer for Java bytecode based on path-length. ACM Trans. Program. Lang. Syst. 32(3): 8:1-8:70 (2010)
• 
  Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra:
  Scratchpad allocation for concurrent embedded software. ACM Trans. Program. Lang. Syst. 32(4): 13:1-13:47 (2010)
• 
  Peter H. Welch, Jan Bækgaard Pedersen:
  Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. 32(4): 14:1-14:37 (2010)
• 
  Eran Yahav, Mooly Sagiv:
  Verifying safety properties of concurrent heap-manipulating programs. ACM Trans. Program. Lang. Syst. 32(5): 18:1-18:50 (2010)
• 
  Xiaotong Zhuang, Santosh Pande:
  An optimization framework for embedded processors with auto-addressing mode. ACM Trans. Program. Lang. Syst. 32(4): 11:1-11:41 (2010)
• 2009
• 
  Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
  An experimental analysis of self-adjusting computation. ACM Trans. Program. Lang. Syst. 32(1): 3:1-3:53 (2009)
• 
  Mark Harman, David W. Binkley, Keith B. Gallagher, Nicolas Gold, Jens Krinke:
  Dependence clusters in source code. ACM Trans. Program. Lang. Syst. 32(1): 1:1-1:33 (2009)
• 
  Haruo Hosoya, Alain Frisch, Giuseppe Castagna:
  Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32(1): 2:1-2:56 (2009)