| 1988 | A Temporal Fixpoint Calculus. | Moshe Y. Vardi |
| 1988 | Type Inference with Subtypes. | Ryan Stansifer |
| 1988 | Lifetime Analysis of Dynamically Allocated Objects. | Cristina Ruggieri, Thomas P. Murtagh |
| 1988 | Global Value Numbers and Redundant Computations. | Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | Optimal Code Generation for Expression Trees: An Application of BURS Theory. | Eduardo Pelegr-Llopart, Susan L. Graham |
| 1988 | Automatic Binding Time Analysis for a Typed Lambda-Calculus. | Hanne Riis Nielson, Flemming Nielson |
| 1988 | Correct Flow Analysis in Continuation Semantics. | Margaret Montenyohl, Mitchell Wand |
| 1988 | The Essence of ML. | John C. Mitchell, Robert Harper |
| 1988 | Towards Fully Abstract Semantics for Local Variables. | Albert R. Meyer, Kurt Sieber |
| 1988 | Polymorphic Effect Systems. | John M. Lucassen, David K. Gifford |
| 1988 | Compiler Optimizations for Asynchronous Systolic Array Programs. | Monica Lam |
| 1988 | A Proper Extension of ML with an Effective Type-Assignment. | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
| 1988 | Inheritance in Smalltalk-80: A Denotational Definition. | Samuel N. Kamin |
| 1988 | Stores and Partial Continuations as First-Class Objects in a Language and its Environment. | Gregory F. Johnson, Dominic Duggan |
| 1988 | Supernode Partitioning. | Franois Irigoin, Rmi Triolet |
| 1988 | A Collecting Interpretation of Expressions (Without Powerdomains). | Paul Hudak, Jonathan Young |
| 1988 | On the Adequacy of Program Dependence Graphs for Representing Programs. | Susan Horwitz, Jan F. Prins, Thomas W. Reps |
| 1988 | Integrating Non-Interfering Versions of Programs. | Susan Horwitz, Jan F. Prins, Thomas W. Reps |
| 1988 | Inductive Methods for Reasoning about Abstract Data Types. | Stephen J. Garland, John V. Guttag |
| 1988 | The Theory and Practice of First-Class Prompts. | Matthias Felleisen |
| 1988 | Efficient Dataflow Analysis of Logic Programs. | Saumya K. Debray |
| 1988 | Incremental Data Flow Analysis via Dominator and Attribute Updates. | Martin D. Carroll, Barbara G. Ryder |
| 1988 | Structural Subtyping and the Notion of Power Type. | Luca Cardelli |
| 1988 | A Compositional Approach to Superimposition. | Luc Boug, Nissim Francez |
| 1988 | Bisimulation Can't Be Traced. | Bard Bloom, Sorin Istrail, Albert R. Meyer |