| 1976 | A Complexity Theory of Grammar Problems. Harry B. Hunt III |
| 1976 | A Lazy Evaluator. Peter Henderson, James H. Morris Jr. |
| 1976 | A Methodology for Lisp Program Construction from Examples. Phillip D. Summers |
| 1976 | An Algorithm for Structuring Programs. Brenda S. Baker |
| 1976 | Automatic Design of Data Processing Systems. Gregory R. Ruth |
| 1976 | Automatic Generation of Efficient Evaluators for Attribute Grammars. Ken Kennedy, Scott K. Warren |
| 1976 | Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. Neil D. Jones, Steven S. Muchnick |
| 1976 | Code Generation for Expressions with Common Subexpressions. Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman |
| 1976 | Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976 Susan L. Graham, Robert M. Graham, Michael A. Harrison, William I. Grosky, Jeffrey D. Ullman |
| 1976 | Goal-Directed Program Transformation. Ben Wegbreit |
| 1976 | Induction Variables in Very High Level Languages. Amelia C. Fong, Jeffrey D. Ullman |
| 1976 | Mathematical Semantics and Data Flow Programming. Paul R. Kosinski |
| 1976 | On Directly Constructing LR(k) Parsers Without Chain Reductions. Wilf R. LaLonde |
| 1976 | PLAN2D - Syntactic Analysis of Precedence Graph Grammars. Reinhold Franck |
| 1976 | Primitive Recursive Program Transformations. Robert S. Boyer, J Strother Moore, Robert E. Shostak |
| 1976 | Procedure Referencing Environments in SL5. Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes |
| 1976 | Program Improvement by Source to Source Transformation. David B. Loveman |
| 1976 | Techniques for the Automatic Selection of Data Structures. James R. Low, Paul Rovner |
| 1976 | Test Data as an Aid in Proving Program Correctness. Matthew M. Geller |
| 1976 | The Influence of Productions on Derivations and Parsing. Benton L. Leong, Detlef Wotschke |
| 1976 | Verifying Formal Specifications of Synchronous Processes. Patricia P. Griffiths, Charles J. Prenner |