| 1988 | Detecting Equality of Variables in Programs. | Bowen Alpern, Mark N. Wegman, F. Kenneth Zadeck |
| 1987 | Completeness and Incompleteness of Trace-Based Network Proof Systems. | Jennifer Widom, David Gries, Fred B. Schneider |
| 1987 | Views: A Way for Pattern Matching to Cohabit with Data Abstraction. | Philip Wadler |
| 1987 | Computable Values Can Be Classical. | Val Tannen, Albert R. Meyer |
| 1987 | Concurrent Transition System Semantics of Process Networks. | Eugene W. Stark |
| 1987 | The Concurrent Logic Programming Language CP: Definition and Operational Semantics. | Vijay A. Saraswat |
| 1987 | Semantics for Concurrency without Powerdomains. | Frank J. Oles |
| 1987 | Strictness Analysis and Denotational Abstract Interpretation. | Flemming Nielson |
| 1987 | Computation of Aliases and Support Sets. | Anne Neirynck, Prakash Panangaden, Alan J. Demers |
| 1987 | A Logic for Partially Specified Data Structures. | M. Drew Moshier, William C. Rounds |
| 1987 | Empty Types in Polymorphic Lambda Calculus. | Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
| 1987 | Specification and Verification of Concurrent Programs By Forall-Automata. | Zohar Manna, Amir Pnueli |
| 1987 | Skinny and Fleshy Failures of Relative Completeness. | Daniel Leivant, Tim Fernando |
| 1987 | A Realistic Compiler Generator Based on High-Level Semantics. | Peter Lee, Uwe F. Pleban |
| 1987 | On Strictness and its Analysis. | Tsung-Min Kuo, Prateek Mishra |
| 1987 | Macro-by-Example: Deriving Syntactic Transformations from their Specifications. | Eugene E. Kohlbecker, Mitchell Wand |
| 1987 | Semantic Parallelization: A Practical Exercise in Abstract Interpretation. | Pierre Jouvelot |
| 1987 | Constraint Logic Programming. | Joxan Jaffar, Jean-Louis Lassez |
| 1987 | Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
| 1987 | Axioms for Concurrent Objects. | Maurice Herlihy, Jeannette M. Wing |
| 1987 | Compiling Strictness into Streams. | Cordelia V. Hall, David S. Wise |
| 1987 | Environments as First Class Objects. | David Gelernter, Suresh Jagannathan, Thomas London |
| 1987 | A Calculus for Assignments in Higher-Order Languages. | Matthias Felleisen, Daniel P. Friedman |
| 1987 | Extensions for Multi-Module Records in Conventional Programming Languages. | David R. Cheriton, Michael E. Wolf |
| 1987 | An Improvement to Bottom-up Tree Pattern Matching. | David R. Chase |