| 1985 | A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. | Gregory F. Johnson, Charles N. Fischer |
| 1985 | The Aggregate Update Problem in Functional Programming Systems. | Paul Hudak, Adrienne G. Bloss |
| 1985 | Denotational Semantics and Rewrite Rules for FP. | Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler |
| 1985 | Principles of OBJ2. | Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer |
| 1985 | Constraining Control. | Daniel P. Friedman, Christopher T. Haynes |
| 1985 | High-Level Language Facilities for Low-Level Services. | Christopher W. Fraser, David R. Hanson |
| 1985 | A Greedy Approach to Incremental Code Generation. | Ray Ford, Duangkaew Sawamiphakdi |
| 1985 | On Linearizing Parallel Code. | Jeanne Ferrante, Mary E. Mace |
| 1985 | Modalities for Model Checking: Branching Time Strikes Back. | E. Allen Emerson, Chin-Laung Lei |
| 1985 | Analyzing Aliases of Reference Formal Parameters. | Keith D. Cooper |
| 1985 | Types as Intervals. | Robert Cartwright |
| 1985 | Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. | David Bernstein, Ron Y. Pinter, Michael Rodeh |
| 1985 | Semantics-Directed Code Generation. | Andrew W. Appel |
| 1985 | Compiling Path Expressions into VLSI Circuits. | Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra |
| 1985 | Efficient Tree Pattern Matching: An Aid to Code Generation. | Alfred V. Aho, Mahadevan Ganapathi |
| 1984 | Inverse Currying Transformation on Attribute Grammars. | Reinhard Wilhelm |
| 1984 | Expressional Loops. | Richard C. Waters |
| 1984 | A Hierarchical Basis for Reordering Transformations. | Joe D. Warren |
| 1984 | A Types-as-Sets Semantics for Milner-Style Polymorphism. | Mitchell Wand |
| 1984 | Stop Losing Sleep Over Incomplete Data Type Specifications. | Jean-Jacques Thiel |
| 1984 | Creating Efficient Systems for Object-Oriented Languages. | Norihisa Suzuki, Minoru Terada |
| 1984 | Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. | P. A. Subrahmanyam, Jia-Huai You |
| 1984 | Reflection and Semantics in Lisp. | Brian Cantwell Smith |
| 1984 | Paragon: Novel Uses of Type Hierarchies for Data Abstraction. | Mark Sherman |
| 1984 | Temporal Verification of Carrier-Sense Local Area Network Protocols. | Dennis E. Shasha, Amir Pnueli, W. Ewald |