| 1978 | A Forward Move Algorithm for LR Error Recovery. Thomas J. Pennello, Frank DeRemer |
| 1978 | A General Scheme for the Automatic Inference of Variable Types. Marc A. Kaplan, Jeffrey D. Ullman |
| 1978 | A Metalanguage for Interactive Proof in LCF. Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth |
| 1978 | A New Method for Compiler Code Generation. R. Steven Glanville, Susan L. Graham |
| 1978 | A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. Anders Haraldsson |
| 1978 | A Portable Compiler: Theory and Practice. Stephen C. Johnson |
| 1978 | A Simplifier Based on Efficient Decision Algorithms. Charles G. Nelson, Derek C. Oppen |
| 1978 | A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs. Paul R. Kosinki |
| 1978 | Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. Karel Culík |
| 1978 | Automatic Discovery of Linear Restraints Among Variables of a Program. Patrick Cousot, Nicolas Halbwachs |
| 1978 | Automating Proofs of the Absence of Common Runtime Errors. Steven M. German |
| 1978 | Clauses: Scope Structures and Defined Functions in Lucid. Edward A. Ashcroft, William W. Wadge |
| 1978 | Compilation and Delayed Evaluation in APL. Leonidas J. Guibas, Douglas K. Wyatt |
| 1978 | Complexity of Expressions Allowing Concurrency. William F. Ogden, William E. Riddle, William C. Rounds |
| 1978 | Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978 Alfred V. Aho, Stephen N. Zilles, Thomas G. Szymanski |
| 1978 | Data Types as Values: Polymorphism, Type-Checking, Encapsulation. Alan J. Demers, James E. Donahue, Glenn Skinner |
| 1978 | Efficient Computation of Expressions with Common Subexpressions. Bhaskaram Prabhala, Ravi Sethi |
| 1978 | Local Constraints in the Syntax and Semantics of Programming Languages. Aravind K. Joshi, Leon S. Levy, Kang Yueh |
| 1978 | Monoids for Rapid Data Flow Analysis. Barry K. Rosen |
| 1978 | Nondeterminism in Logics of Programs. David Harel, Vaughan R. Pratt |
| 1978 | Off-Line and On-Line Algorithms for Deducing Equalities. Peter J. Downey, Hanan Samet, Ravi Sethi |
| 1978 | Reasoning about Recursively Defined Data Structures. Derek C. Oppen |
| 1978 | Symbolic Programming Analysis in Almost Linear Time. John H. Reif |
| 1978 | Syntactic Control of Interference. John C. Reynolds |
| 1978 | The Smalltalk-76 Programming System. Daniel Ingalls |
| 1978 | Type Definitions with Parameters. Marvin H. Solomon |
| 1978 | Unrestricted Procedure Calls in Hoare's Logic. Robert Cartwright, Derek C. Oppen |
| 1978 | Verification and Design Aspects of "True" Concurrency. David W. Mizell |