12. POPL 1985: New Orleans, Louisiana

• Mitchell Wand:
  Embedding Type Structure in Semantics. 1-6
  
• Prateek Mishra, Uday S. Reddy:
  Declaration-Free Type Checking. 7-21
  
• Robert Cartwright:
  Types as Intervals. 22-36
  
• John C. Mitchell, Gordon D. Plotkin:
  Abstract Types Have Existential Type. 37-51
  
• Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
  Principles of OBJ2. 52-66
  
• Donald Sannella, Andrzej Tarlecki:
  Program Specification and Development in Standard ML. 67-77
  
• Leslie Lamport:
  What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. 78-83
  
• E. Allen Emerson, Chin-Laung Lei:
  Modalities for Model Checking: Branching Time Strikes Back. 84-96
  
• Orna Lichtenstein, Amir Pnueli:
  Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. 97-107
  
• Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler:
  Denotational Semantics and Rewrite Rules for FP. 108-120
  
• Van Nguyen, David Gries, Susan S. Owicki:
  A Model and Temporal Proof System for Networks of Processes. 121-131
  
• Daniel Leivant:
  Logical and Mathematical Reasoning about Imperative Programs. 132-140
  
• Gregory F. Johnson, Charles N. Fischer:
  A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. 141-151
  
• Lori L. Pollock, Mary Lou Soffa:
  Incremental Compilation of Locally Optimized Code. 152-164
  
• Ray Ford, Duangkaew Sawamiphakdi:
  A Greedy Approach to Incremental Code Generation. 165-178
  
• Jeanne Ferrante, Mary Mace:
  On Linearizing Parallel Code. 179-189
  
• Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
  Compiling Path Expressions into VLSI Circuits. 191-204
  
• Leslie Lamport, Fred B. Schneider:
  Constraints: A Uniform Approach to Aliasing and Typing. 205-216
  
• Christopher W. Fraser, David R. Hanson:
  High-Level Language Facilities for Low-Level Services. 217-224
  
• Michael B. Jones, Richard F. Rashid, Mary R. Thompson:
  Matchmaker: An Interface Specification Language for Distributed Processing. 225-235
  
• Walter F. Tichy, Mark C. Baker:
  Smart Recompilation. 236-244
  
• Daniel P. Friedman, Christopher T. Haynes:
  Constraining Control. 245-254
  
• Julian A. Padget, John Fitch:
  Closurize and Concentrate. 255-265
  
• Gary Lindstrom:
  Functional Programming and the Logical Variable. 266-280
  
• Keith D. Cooper:
  Analyzing Aliases of Reference Formal Parameters. 281-290
  
• Mark N. Wegman, F. Kenneth Zadeck:
  Constant Propagation with Conditional Branches. 291-299
  , long version: TOPLAS 13(2): 181-210 (1991)
• Paul Hudak, Adrienne Bloss:
  The Aggregate Update Problem in Functional Programming Systems. 300-314
  
• Andrew W. Appel:
  Semantics-Directed Code Generation. 315-324
  
• David Bernstein, Ron Y. Pinter, Michael Rodeh:
  Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. 325-333
  
• Alfred V. Aho, Mahadevan Ganapathi:
  Efficient Tree Pattern Matching: An Aid to Code Generation. 334-340