| 1978 | Local Constraints in the Syntax and Semantics of Programming Languages. | Aravind K. Joshi, Leon S. Levy, Kang Yueh |
| 1978 | A Portable Compiler: Theory and Practice. | Stephen C. Johnson |
| 1978 | The Smalltalk-76 Programming System. | Daniel Ingalls |
| 1978 | Nondeterminism in Logics of Programs. | David Harel, Vaughan R. Pratt |
| 1978 | A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. | Anders Haraldsson |
| 1978 | Compilation and Delayed Evaluation in APL. | Leonidas J. Guibas, Douglas K. Wyatt |
| 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 | Automating Proofs of the Absence of Common Runtime Errors. | Steven M. German |
| 1978 | Off-Line and On-Line Algorithms for Deducing Equalities. | Peter J. Downey, Hanan Samet, Ravi Sethi |
| 1978 | Data Types as Values: Polymorphism, Type-Checking, Encapsulation. | Alan J. Demers, James E. Donahue, Glenn Skinner |
| 1978 | Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. | Karel Culk |
| 1978 | Automatic Discovery of Linear Restraints Among Variables of a Program. | Patrick Cousot, Nicolas Halbwachs |
| 1978 | Unrestricted Procedure Calls in Hoare's Logic. | Robert Cartwright, Derek C. Oppen |
| 1978 | Clauses: Scope Structures and Defined Functions in Lucid. | Edward A. Ashcroft, William W. Wadge |
| 1977 | Implementation of an Array Bound Checker. | Norihisa Suzuki, Kiyoshi Ishihata |
| 1977 | Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. | Eljas Soisalon-Soininen |
| 1977 | Applications of High-Level Control Flow. | Barry K. Rosen |
| 1977 | Symbolic Evaluation and the Global Value Graph. | John H. Reif, Harry R. Lewis |
| 1977 | The Competence/Performance Dichotomy in Programming. | Vaughan R. Pratt |
| 1977 | Reduction in Strength of High Level Operations. | Robert Paige, Jacob T. Schwartz |
| 1977 | On the Covering of Left Recursive Grammars. | Anton Nijholt |
| 1977 | The Equivalence Problem for Program Schemata with Nonintersecting Loops. | Harry R. Lewis |
| 1977 | Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. | Bernard Lang |
| 1977 | Applications of Graph Grammar for Program Control Flow Analysis. | Ken Kennedy, Linda Zucconi |