| 1980 | Analysis of Simple Programs Over Different Sets of Primitives. | A. J. Kfoury |
| 1980 | Expressiveness of the Operation Set of a Data Abstraction. | Deepak Kapur, Mandayam K. Srivas |
| 1980 | Final Data Tye Specifications: A New Data Type Specification Method. | Samuel N. Kamin |
| 1980 | Efficient Algorithms for Structural Similarity of Grammars. | Harry B. Hunt III, Daniel J. Rosenkrantz |
| 1980 | Qualified Data Flow Problems. | L. Howard Holley, Barry K. Rosen |
| 1980 | Formal Specification as a Design Tool. | John V. Guttag, James J. Horning |
| 1980 | On the Temporal Analysis of Fairness. | Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi |
| 1980 | An Indeterminate Constructor for Applicative Programming. | Daniel P. Friedman, David S. Wise |
| 1980 | "Type-Completeness" as a Language Design Principle. | Alan J. Demers, James E. Donahue |
| 1980 | Data Types, Parameters, and Type Checking. | Alan J. Demers, James E. Donahue |
| 1980 | Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. | Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward |
| 1979 | Automatic Data Structure Selection in SETL. | Edmond Schonberg, Jacob T. Schwartz, Micha Sharir |
| 1979 | Space-Time Tradeoffs for Linear Recursion. | Sowmitri Swamy, John E. Savage |
| 1979 | Certifying Information Flow Properties of Programs: An Axiomatic Approach. | Richard P. Reitman, Gregory R. Andrews |
| 1979 | Data Flow Analysis of Communicating Processes. | John H. Reif |
| 1979 | Process Logic. | Vaughan R. Pratt |
| 1979 | Type Checking in an Imperfect World. | Terrence C. Miller |
| 1979 | String Pattern Matching in Polynomial Time. | Ken C. Liu, Arthur C. Fleck |
| 1979 | The Evolution of List-Copying Algorithms. | Stanley Lee, Willem P. de Roever, Susan L. Gerhart |
| 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 | Recursion in Logics of Programs. | David Harel |
| 1979 | Decisions for "Type" in APL. | W. E. Gull, Michael A. Jenkins |
| 1979 | Specifying Programming Language Semantics. | Irene Greif, Albert R. Meyer |
| 1979 | Principles of Proving Programs Correct in Gypsy. | Donald I. Good, Richard M. Cohen, James G. Keeton-Williams |