| 1979 | A Compact, Machine-Independent Peephole Optimizer. Christopher W. Fraser |
| 1979 | A PL/CV Precis. Robert L. Constable, Scott Johnson |
| 1979 | An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables. John Banning |
| 1979 | Automatic Data Structure Selection in SETL. Edmond Schonberg, Jacob T. Schwartz, Micha Sharir |
| 1979 | Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars. Rina S. Cohen, E. Harry |
| 1979 | Automatic Improvement of Programs in Very High Level Languages. Amelia C. Fong |
| 1979 | Certifying Information Flow Properties of Programs: An Axiomatic Approach. Richard P. Reitman, Gregory R. Andrews |
| 1979 | Characterization and Elimination of Redundancy in Recursive Programs. Norman H. Cohen |
| 1979 | Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979 Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen |
| 1979 | Data Flow Analysis of Communicating Processes. John H. Reif |
| 1979 | Decisions for "Type" in APL. W. E. Gull, Michael A. Jenkins |
| 1979 | First Order Programming Logic. Robert Cartwright, John McCarthy |
| 1979 | Flow Analysis and Optimization of Lisp-Like Structures. Neil D. Jones, Steven S. Muchnick |
| 1979 | Interpreter Generation Using Tree Pattern Matching. Christoph M. Hoffmann, Michael J. O'Donnell |
| 1979 | Predicate Path Expressions. Sten Andler |
| 1979 | Principles of Proving Programs Correct in Gypsy. Donald I. Good, Richard M. Cohen, James G. Keeton-Williams |
| 1979 | Process Logic. Vaughan R. Pratt |
| 1979 | Recursion in Logics of Programs. David Harel |
| 1979 | Space-Time Tradeoffs for Linear Recursion. Sowmitri Swamy, John E. Savage |
| 1979 | Specifying Programming Language Semantics. Irene Greif, Albert R. Meyer |
| 1979 | String Pattern Matching in Polynomial Time. Ken C. Liu, Arthur C. Fleck |
| 1979 | Synthesis of Resource Invariants for Concurrent Programs. Edmund M. Clarke |
| 1979 | Systematic Design of Program Analysis Frameworks. Patrick Cousot, Radhia Cousot |
| 1979 | The Evolution of List-Copying Algorithms. Stanley Lee, Willem P. de Roever, Susan L. Gerhart |
| 1979 | The Functional Power of Parameter Passage Mechanisms. Adrienne Critcher |
| 1979 | The Logic of a Relational Data Manipulation Language. Marco A. Casanova, Philip A. Bernstein |
| 1979 | The Universality of Data Retrieval Languages. Alfred V. Aho, Jeffrey D. Ullman |
| 1979 | Type Checking in an Imperfect World. Terrence C. Miller |