| 1977 | A Complete and Consistent Hoare Semantics for a Simple Programming Language. John C. Cherniavsky, Samuel N. Kamin |
| 1977 | A New Strategy for Code Generation - The General Purpose Optimizing Compiler. William H. Harrison |
| 1977 | Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Patrick Cousot, Radhia Cousot |
| 1977 | An Efficient Insertion-Only Error-Corrector for LL(1) Parsers. Charles N. Fischer, D. R. Milton, S. B. Quiring |
| 1977 | An Interprocedural Data Flow Analysis Algorithm. Jeffrey M. Barth |
| 1977 | Applications of Graph Grammar for Program Control Flow Analysis. Ken Kennedy, Linda Zucconi |
| 1977 | Applications of High-Level Control Flow. Barry K. Rosen |
| 1977 | Code Generation for Machines with Multiregister Operations. Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman |
| 1977 | Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977 Robert M. Graham, Michael A. Harrison, Ravi Sethi |
| 1977 | Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. Eljas Soisalon-Soininen |
| 1977 | Generalized Common Subexpressions in Very High Level Languages. Amelia C. Fong |
| 1977 | Generalized Left Corner Parsing. Alan J. Demers |
| 1977 | Implementation of an Array Bound Checker. Norihisa Suzuki, Kiyoshi Ishihata |
| 1977 | Minimal and Optimal Computations of Recursive Programs. Gérard Berry, Jean-Jacques Lévy |
| 1977 | On the Covering of Left Recursive Grammars. Anton Nijholt |
| 1977 | Parallel Program Correctness Through Refinement. Thomas W. Doeppner Jr. |
| 1977 | Parallelism and Synchronization in Actor Systems. Russell R. Atkinson, Carl Hewitt |
| 1977 | Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. Edmund M. Clarke |
| 1977 | Reduction in Strength of High Level Operations. Robert Paige, Jacob T. Schwartz |
| 1977 | Social Processes and Proofs of Theorems and Programs. Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis |
| 1977 | Structuring. Eric C. R. Hehner |
| 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 | The Equivalence Problem for Program Schemata with Nonintersecting Loops. Harry R. Lewis |
| 1977 | The Evolution of Programs: A System for Automatic Program Modification. Nachum Dershowitz, Zohar Manna |
| 1977 | Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. Bernard Lang |