| 1980 | "Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs. Leslie Lamport |
| 1980 | "Type-Completeness" as a Language Design Principle. Alan J. Demers, James E. Donahue |
| 1980 | A Case Study in Specifying the Semantics of a Programming Language. Ravi Sethi |
| 1980 | A Dynamic Logic of Multiprocessing with Incomplete Information. John H. Reif, Gary L. Peterson |
| 1980 | A High-Level Approach to Computer Document Formatting. Brian K. Reid |
| 1980 | An Indeterminate Constructor for Applicative Programming. Daniel P. Friedman, David S. Wise |
| 1980 | An Overview of the Summer Programming Language. Paul Klint |
| 1980 | Analysis of Pointer Rotation. Norihisa Suzuki |
| 1980 | Analysis of Simple Programs Over Different Sets of Primitives. A. J. Kfoury |
| 1980 | Axiomatic Definitions of Programming Languages: A Theoretical Assessment. Albert R. Meyer, Joseph Y. Halpern |
| 1980 | Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980 Paul W. Abrahams, Richard J. Lipton, Stephen R. Bourne |
| 1980 | Data Types, Parameters, and Type Checking. Alan J. Demers, James E. Donahue |
| 1980 | Efficient Algorithms for Structural Similarity of Grammars. Harry B. Hunt III, Daniel J. Rosenkrantz |
| 1980 | Experience with an Applicative String Processing Language. James H. Morris Jr., Eric Schmidt, Philip Wadler |
| 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 | Formal Specification as a Design Tool. John V. Guttag, James J. Horning |
| 1980 | Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. William E. Weihl |
| 1980 | On Proving Inductive Properties of Abstract Data Types. David R. Musser |
| 1980 | On Specifying Verifiers. Vaughan R. Pratt |
| 1980 | On the Temporal Analysis of Fairness. Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi |
| 1980 | Prime Subprogram Parsing of a Program. Robert Endre Tarjan |
| 1980 | Propositional Logics of Programs: Systems, Models, and Complexity. Rohit Parikh |
| 1980 | Qualified Data Flow Problems. L. Howard Holley, Barry K. Rosen |
| 1980 | Synchronous Schemes and Their Decision Problems. Zohar Manna, Amir Pnueli |
| 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 |