| 1987 | A Calculus for Assignments in Higher-Order Languages. Matthias Felleisen, Daniel P. Friedman |
| 1987 | A Logic for Partially Specified Data Structures. M. Drew Moshier, William C. Rounds |
| 1987 | A Realistic Compiler Generator Based on High-Level Semantics. Peter Lee, Uwe F. Pleban |
| 1987 | An Improvement to Bottom-up Tree Pattern Matching. David R. Chase |
| 1987 | Appraising Fairness in Languages for Distributed Programming. Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
| 1987 | Automatic Decomposition of Scientific Programs for Parallel Execution. Randy Allen, David Callahan, Ken Kennedy |
| 1987 | Axioms for Concurrent Objects. Maurice Herlihy, Jeannette M. Wing |
| 1987 | Binding Performance at Language Design Time. Jiazhen Cai, Robert Paige |
| 1987 | Compiling Strictness into Streams. Cordelia V. Hall, David S. Wise |
| 1987 | Completeness and Incompleteness of Trace-Based Network Proof Systems. Jennifer Widom, David Gries, Fred B. Schneider |
| 1987 | Computable Values Can Be Classical. Val Tannen, Albert R. Meyer |
| 1987 | Computation of Aliases and Support Sets. Anne Neirynck, Prakash Panangaden, Alan J. Demers |
| 1987 | Concurrent Transition System Semantics of Process Networks. Eugene W. Stark |
| 1987 | Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987 |
| 1987 | Constraint Logic Programming. Joxan Jaffar, Jean-Louis Lassez |
| 1987 | Empty Types in Polymorphic Lambda Calculus. Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
| 1987 | Environments as First Class Objects. David Gelernter, Suresh Jagannathan, Thomas London |
| 1987 | Extensions for Multi-Module Records in Conventional Programming Languages. David R. Cheriton, Michael E. Wolf |
| 1987 | Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. Cornelis Huizing, Rob Gerth, Willem P. de Roever |
| 1987 | Lustre: A Declarative Language for Programming Synchronous Systems. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice |
| 1987 | Macro-by-Example: Deriving Syntactic Transformations from their Specifications. Eugene E. Kohlbecker, Mitchell Wand |
| 1987 | On Strictness and its Analysis. Tsung-Min Kuo, Prateek Mishra |
| 1987 | Scheduling Arithmetic and Load Operations in Parallel with No Spilling. David Bernstein, Jeffrey M. Jaffe, Michael Rodeh |
| 1987 | Semantic Parallelization: A Practical Exercise in Abstract Interpretation. Pierre Jouvelot |
| 1987 | Semantics for Concurrency without Powerdomains. Frank J. Oles |
| 1987 | Skinny and Fleshy Failures of Relative Completeness. Daniel Leivant, Tim Fernando |
| 1987 | Specification and Verification of Concurrent Programs By Forall-Automata. Zohar Manna, Amir Pnueli |
| 1987 | Strictness Analysis and Denotational Abstract Interpretation. Flemming Nielson |
| 1987 | The Concurrent Logic Programming Language CP: Definition and Operational Semantics. Vijay A. Saraswat |
| 1987 | Views: A Way for Pattern Matching to Cohabit with Data Abstraction. Philip Wadler |