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

• 1989
• 
  Alfred V. Aho, Mahadevan Ganapathi, Steven W. K. Tjiang:
  Code Generation Using Tree Matching and Dynamic Programming. ACM Trans. Program. Lang. Syst. 11(4): 491-516 (1989)
• 
  Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr:
  Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11(1): 115-146 (1989)
• 
  Bowen Alpern, Fred B. Schneider:
  Verifying Temporal Properties without Temporal Logic. ACM Trans. Program. Lang. Syst. 11(1): 147-167 (1989)
• 
  Frank D. Anger:
  On Lamport's Interprocessor Communication Model. ACM Trans. Program. Lang. Syst. 11(3): 404-417 (1989)
• 
  Arvind, Rishiyur S. Nikhil, Keshav Pingali:
  I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632 (1989)
• 
  Rajive L. Bagrodia:
  Synchronization of Asynchronous Processes in CSP. ACM Trans. Program. Lang. Syst. 11(4): 585-597 (1989)
• 
  Valmir Carneiro Barbosa, Eli Gafni:
  Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ACM Trans. Program. Lang. Syst. 11(4): 562-584 (1989)
• 
  David Bernstein, Izidor Gertner:
  Scheduling Expressions on a Pipelined Processor with a Maximal Delay of One Cycle. ACM Trans. Program. Lang. Syst. 11(1): 57-66 (1989)
• 
  Richard P. Brent:
  Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation. ACM Trans. Program. Lang. Syst. 11(3): 388-403 (1989)
• 
  James E. Burns, Jan K. Pachl:
  Uniform Self-Stabilizing Rings. ACM Trans. Program. Lang. Syst. 11(2): 330-344 (1989)
• 
  Robert D. Cameron:
  Efficient High-Level Iteration with Accumulators. ACM Trans. Program. Lang. Syst. 11(2): 194-211 (1989)
• 
  Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo:
  ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. ACM Trans. Program. Lang. Syst. 11(2): 284-329 (1989)
• 
  Saumya K. Debray:
  Static Inference of Modes and Data Dependencies in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 418-450 (1989)
• 
  Saumya K. Debray, David Scott Warren:
  Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989)
• 
  Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin:
  Distributed FIFO Allocation of Identical Resources Using Small Shared Space. ACM Trans. Program. Lang. Syst. 11(1): 90-114 (1989)
• 
  Susan Horwitz, Jan F. Prins, Thomas W. Reps:
  Integrating Noninterfering Versions of Programs. ACM Trans. Program. Lang. Syst. 11(3): 345-387 (1989)
• 
  Gail E. Kaiser:
  Incremental Dynamic Semantics for Language-Based Programming Environments. ACM Trans. Program. Lang. Syst. 11(2): 169-193 (1989)
• 
  Wilf R. LaLonde:
  Designing Families of Data Types Using Exemplars. ACM Trans. Program. Lang. Syst. 11(2): 212-248 (1989)
• 
  Eugene W. Myers, Webb Miller:
  Row Replacement Algorithms for Screen Editors. ACM Trans. Program. Lang. Syst. 11(1): 33-56 (1989)
• 
  Greg Nelson:
  A Generalization of Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 11(4): 517-561 (1989)
• 
  Tim Nicholson, Norman Y. Foo:
  A Denotational Semantics for Prolog. ACM Trans. Program. Lang. Syst. 11(4): 650-665 (1989)
• 
  Ben A. Sijtsma:
  On the Productivity of Recursive List Definitions. ACM Trans. Program. Lang. Syst. 11(4): 633-649 (1989)
• 
  Arthur Sorkin:
  Some Comments on ''A Solution to a Problem with Morel and Renvoise's 'Global Optimization by Suppression of Partial Redundancies'. ACM Trans. Program. Lang. Syst. 11(4): 666-668 (1989)
• 
  Peter Steenkiste, John L. Hennessy:
  A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp. ACM Trans. Program. Lang. Syst. 11(1): 1-32 (1989)
• 
  Jørgen Steensgaard-Madsen:
  Type Representation of Objects by Functions. ACM Trans. Program. Lang. Syst. 11(1): 67-89 (1989)
• 
  William E. Weihl:
  Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ACM Trans. Program. Lang. Syst. 11(2): 249-283 (1989)