| 1985 | A Greedy Approach to Incremental Code Generation. Ray Ford, Duangkaew Sawamiphakdi |
| 1985 | A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. Gregory F. Johnson, Charles N. Fischer |
| 1985 | A Model and Temporal Proof System for Networks of Processes. Van Nguyen, David Gries, Susan S. Owicki |
| 1985 | Abstract Types Have Existential Type. John C. Mitchell, Gordon D. Plotkin |
| 1985 | Analyzing Aliases of Reference Formal Parameters. Keith D. Cooper |
| 1985 | Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. Orna Lichtenstein, Amir Pnueli |
| 1985 | Closurize and Concentrate. Julian A. Padget, John P. Fitch |
| 1985 | Compiling Path Expressions into VLSI Circuits. Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra |
| 1985 | Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985 Mary S. Van Deusen, Zvi Galil, Brian K. Reid |
| 1985 | Constant Propagation with Conditional Branches. Mark N. Wegman, F. Kenneth Zadeck |
| 1985 | Constraining Control. Daniel P. Friedman, Christopher T. Haynes |
| 1985 | Constraints: A Uniform Approach to Aliasing and Typing. Leslie Lamport, Fred B. Schneider |
| 1985 | Declaration-Free Type Checking. Prateek Mishra, Uday S. Reddy |
| 1985 | Denotational Semantics and Rewrite Rules for FP. Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler |
| 1985 | Efficient Tree Pattern Matching: An Aid to Code Generation. Alfred V. Aho, Mahadevan Ganapathi |
| 1985 | Embedding Type Structure in Semantics. Mitchell Wand |
| 1985 | Functional Programming and the Logical Variable. Gary Lindstrom |
| 1985 | High-Level Language Facilities for Low-Level Services. Christopher W. Fraser, David R. Hanson |
| 1985 | Incremental Compilation of Locally Optimized Code. Lori L. Pollock, Mary Lou Soffa |
| 1985 | Logical and Mathematical Reasoning about Imperative Programs. Daniel Leivant |
| 1985 | Matchmaker: An Interface Specification Language for Distributed Processing. Michael B. Jones, Richard F. Rashid, Mary R. Thompson |
| 1985 | Modalities for Model Checking: Branching Time Strikes Back. E. Allen Emerson, Chin-Laung Lei |
| 1985 | On Linearizing Parallel Code. Jeanne Ferrante, Mary E. Mace |
| 1985 | Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. David Bernstein, Ron Y. Pinter, Michael Rodeh |
| 1985 | Principles of OBJ2. Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer |
| 1985 | Program Specification and Development in Standard ML. Donald Sannella, Andrzej Tarlecki |
| 1985 | Semantics-Directed Code Generation. Andrew W. Appel |
| 1985 | Smart Recompilation. Walter F. Tichy, Mark C. Baker |
| 1985 | The Aggregate Update Problem in Functional Programming Systems. Paul Hudak, Adrienne G. Bloss |
| 1985 | Types as Intervals. Robert Cartwright |
| 1985 | What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. Leslie Lamport |