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

• 1987
• 
  Randy Allen, David Callahan, Ken Kennedy:
  Automatic Decomposition of Scientific Programs for Parallel Execution. POPL 1987: 63-76
• 
  Krzysztof R. Apt, Nissim Francez, Shmuel Katz:
  Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198
• 
  David Bernstein, Jeffrey M. Jaffe, Michael Rodeh:
  Scheduling Arithmetic and Load Operations in Parallel with No Spilling. POPL 1987: 263-273
• 
  Jiazhen Cai, Robert Paige:
  Binding Performance at Language Design Time. POPL 1987: 85-97
• 
  Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice:
  Lustre: A Declarative Language for Programming Synchronous Systems. POPL 1987: 178-188
• 
  David R. Chase:
  An Improvement to Bottom-up Tree Pattern Matching. POPL 1987: 168-177
• 
  David R. Cheriton, Michael E. Wolf:
  Extensions for Multi-Module Records in Conventional Programming Languages. POPL 1987: 296-306
• 
  Matthias Felleisen, Daniel P. Friedman:
  A Calculus for Assignments in Higher-Order Languages. POPL 1987: 314-325
• 
  David Gelernter, Suresh Jagannathan, Thomas London:
  Environments as First Class Objects. POPL 1987: 98-110
• 
  Cordelia V. Hall, David S. Wise:
  Compiling Strictness into Streams. POPL 1987: 132-143
• 
  Maurice Herlihy, Jeannette M. Wing:
  Axioms for Concurrent Objects. POPL 1987: 13-26
• 
  Cornelis Huizing, Rob Gerth, Willem P. de Roever:
  Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL 1987: 223-237
• 
  Joxan Jaffar, Jean-Louis Lassez:
  Constraint Logic Programming. POPL 1987: 111-119
• 
  Pierre Jouvelot:
  Semantic Parallelization: A Practical Exercise in Abstract Interpretation. POPL 1987: 39-48
• 
  Eugene E. Kohlbecker, Mitchell Wand:
  Macro-by-Example: Deriving Syntactic Transformations from their Specifications. POPL 1987: 77-84
• 
  Tsung-Min Kuo, Prateek Mishra:
  On Strictness and its Analysis. POPL 1987: 144-155
• 
  Peter Lee, Uwe F. Pleban:
  A Realistic Compiler Generator Based on High-Level Semantics. POPL 1987: 284-295
• 
  Daniel Leivant, Tim Fernando:
  Skinny and Fleshy Failures of Relative Completeness. POPL 1987: 246-252
• 
  Zohar Manna, Amir Pnueli:
  Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987: 1-12
• 
  Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman:
  Empty Types in Polymorphic Lambda Calculus. POPL 1987: 253-262
• 
  M. Drew Moshier, William C. Rounds:
  A Logic for Partially Specified Data Structures. POPL 1987: 156-167
• 
  Anne Neirynck, Prakash Panangaden, Alan J. Demers:
  Computation of Aliases and Support Sets. POPL 1987: 274-283
• 
  Flemming Nielson:
  Strictness Analysis and Denotational Abstract Interpretation. POPL 1987: 120-131
• 
  Frank J. Oles:
  Semantics for Concurrency without Powerdomains. POPL 1987: 211-222
• 
  Vijay A. Saraswat:
  The Concurrent Logic Programming Language CP: Definition and Operational Semantics. POPL 1987: 49-62
• 
  Eugene W. Stark:
  Concurrent Transition System Semantics of Process Networks. POPL 1987: 199-210
• 
  Val Tannen, Albert R. Meyer:
  Computable Values Can Be Classical. POPL 1987: 238-245
• 
  Philip Wadler:
  Views: A Way for Pattern Matching to Cohabit with Data Abstraction. POPL 1987: 307-313
• 
  Jennifer Widom, David Gries, Fred B. Schneider:
  Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL 1987: 27-38
• 
  Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press 1987, ISBN 0-89791-215-2 [contents]