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

• 1983
• 
  John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren:
  Conversion of Control Dependence to Data Dependence. POPL 1983: 177-189
• 
  Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä:
  Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27
• 
  Jeffrey Bonar, Elliot Soloway:
  Uncovering Principles of Novice Programming. POPL 1983: 10-13
• 
  Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla:
  Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL 1983: 117-126
• 
  Janice E. Cuny, Lawrence Snyder:
  Compilation of Data-Driven Programs for Synchronous Execution. POPL 1983: 197-202
• 
  Alan J. Demers, James E. Donahue:
  Making Variables Abstract: An Equational Theory for Russell. POPL 1983: 59-72
• 
  E. Allen Emerson, Joseph Y. Halpern:
  "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. POPL 1983: 127-140
• 
  Jeanne Ferrante, Karl J. Ottenstein:
  A Program Form Based on Data Dependency in Predicate Regions. POPL 1983: 217-236
• 
  Stephen C. Johnson:
  Code Generation for Silicon. POPL 1983: 14-19
• 
  Richard B. Kieburtz:
  Precise Typing of Abstract Data Type Specifications. POPL 1983: 109-116
• 
  Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard:
  Abstraction Mechanisms in the Beta Programming Language. POPL 1983: 285-298
• 
  Leslie Lamport:
  Reasoning About Nonatomic Operations. POPL 1983: 28-37
• 
  Butler W. Lampson, Eric E. Schmidt:
  Practical Use of a Polymorphic Applicative Language. POPL 1983: 237-255
• 
  Daniel Leivant:
  Polymorphic Type Inference. POPL 1983: 88-98
• 
  Daniel Leivant:
  Structural Semantics for Polymorphic Data Types. POPL 1983: 155-166
• 
  Pierre Lescanne:
  Computer Experiments with the Reve Term Rewriting System Generator. POPL 1983: 99-108
• 
  Zohar Manna, Amir Pnueli:
  How to Cook a Temporal Proof System for Your Pet Language. POPL 1983: 141-154
• 
  Lambert G. L. T. Meertens:
  Incremental Polymorphic Type Checking in B. POPL 1983: 265-275
• 
  Naftaly H. Minsky:
  Locality in Software Systems. POPL 1983: 299-312
• 
  John Nagle, Scott Johnson:
  Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. POPL 1983: 48-58
• 
  Greg Nelson:
  Verifying Reachability Invariants of Linked Structures. POPL 1983: 38-47
• 
  Robert Paige:
  Transformational Programming - Applications to Algorithms and Systems. POPL 1983: 73-87
• 
  Vaughan R. Pratt:
  Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. POPL 1983: 1-9
• 
  Barbara G. Ryder:
  Incremental Data Flow Analysis. POPL 1983: 167-176
• 
  Robert E. Strom:
  Mechanisms for Compile-Time Enforcement of Security. POPL 1983: 276-284
• 
  Mitchell Wand:
  Loops in Combinator-Based Compilers. POPL 1983: 190-196
• 
  Mark N. Wegman:
  Summarizing Graphs by Regular Expressions. POPL 1983: 203-216
• 
  Peter Wegner:
  On the Unification of Data and Program Abstraction in Ada. POPL 1983: 256-264
• 
  John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum:
  Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983. ACM Press 1983, ISBN 0-89791-090-7 [contents]