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

• 2005
• 
  Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis:
  Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. 27(4): 786-818 (2005)
• 
  Godmar Back, Wilson C. Hsieh:
  The KaffeOS Java runtime system. ACM Trans. Program. Lang. Syst. 27(4): 583-630 (2005)
• 
  Thomas Ball, Todd D. Millstein, Sriram K. Rajamani:
  Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
• 
  Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank:
  A parallel, incremental, mostly concurrent garbage collector for servers. ACM Trans. Program. Lang. Syst. 27(6): 1097-1146 (2005)
• 
  Raymond T. Boute:
  Functional declarative language design and predicate calculus: a practical approach. ACM Trans. Program. Lang. Syst. 27(5): 988-1047 (2005)
• 
  Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook:
  Corrigendum: a new, simpler linear-time dominators algorithm. ACM Trans. Program. Lang. Syst. 27(3): 383-387 (2005)
• 
  Peter A. Buhr, Ashif S. Harji:
  Implicit-signal monitors. ACM Trans. Program. Lang. Syst. 27(6): 1270-1343 (2005)
• 
  Olaf Chitil:
  Pretty printing with lazy dequeues. ACM Trans. Program. Lang. Syst. 27(1): 163-184 (2005)
• 
  Dibyendu Das, U. Ramakrishna:
  A practical and fast iterative algorithm for phi-function computation using DJ graphs. ACM Trans. Program. Lang. Syst. 27(3): 426-440 (2005)
• 
  Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
  Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005)
• 
  Joseph Gil, Yoav Zibin:
  Efficient subtyping tests with PQ-encoding. ACM Trans. Program. Lang. Syst. 27(5): 819-856 (2005)
• 
  Arne J. Glenstrup, Neil D. Jones:
  Termination analysis and specialization-point insertion in offline partial evaluation. ACM Trans. Program. Lang. Syst. 27(6): 1147-1215 (2005)
• 
  Max Hailperin:
  Comparing conservative coalescing criteria. ACM Trans. Program. Lang. Syst. 27(3): 571-582 (2005)
• 
  Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam:
  Interprocedural parallelization analysis in SUIF. ACM Trans. Program. Lang. Syst. 27(4): 662-731 (2005)
• 
  Michael W. Hicks, Scott Nettles:
  Dynamic software updating. ACM Trans. Program. Lang. Syst. 27(6): 1049-1096 (2005)
• 
  Tom Hirschowitz, Xavier Leroy:
  Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. 27(5): 857-881 (2005)
• 
  Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce:
  Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1): 46-90 (2005)
• 
  Atsushi Igarashi, Naoki Kobayashi:
  Resource usage analysis. ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005)
• 
  Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel:
  Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. 27(1): 91-125 (2005)
• 
  Luc Moreau, Peter Dickman, Richard E. Jones:
  Birrell's distributed reference listing revisited. ACM Trans. Program. Lang. Syst. 27(6): 1344-1395 (2005)
• 
  Luc Moreau, Christian Queinnec:
  Resource aware programming. ACM Trans. Program. Lang. Syst. 27(3): 441-476 (2005)
• 
  George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer:
  CCured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. 27(3): 477-526 (2005)
• 
  Thi Viet Nga Nguyen, François Irigoin:
  Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005)
• 
  Jens Palsberg, Tian Zhao, Trevor Jim:
  Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005)
• 
  François Pottier, Christian Skalka, Scott F. Smith:
  A systematic approach to static access control. ACM Trans. Program. Lang. Syst. 27(2): 344-382 (2005)
• 
  Radu Rugina, Martin C. Rinard:
  Symbolic bounds analysis of pointers, array indices, and accessed memory regions. ACM Trans. Program. Lang. Syst. 27(2): 185-235 (2005)
• 
  Christian Schulte, Peter J. Stuckey:
  When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005)
• 
  Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou:
  A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
• 
  Peter J. Stuckey, Martin Sulzmann:
  A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
• 
  Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani:
  Design and evaluation of dynamic optimizations for a Java just-in-time compiler. ACM Trans. Program. Lang. Syst. 27(4): 732-785 (2005)

skipping 3 more matches