| 1983 | "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. E. Allen Emerson, Joseph Y. Halpern |
| 1983 | A Program Form Based on Data Dependency in Predicate Regions. Jeanne Ferrante, Karl J. Ottenstein |
| 1983 | Abstraction Mechanisms in the Beta Programming Language. Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard |
| 1983 | Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla |
| 1983 | Code Generation for Silicon. Stephen C. Johnson |
| 1983 | Compilation of Data-Driven Programs for Synchronous Execution. Janice E. Cuny, Lawrence Snyder |
| 1983 | Computer Experiments with the Reve Term Rewriting System Generator. Pierre Lescanne |
| 1983 | Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983 John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum |
| 1983 | Conversion of Control Dependence to Data Dependence. John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren |
| 1983 | Derivation of Efficient DAG Marking Algorithms. Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä |
| 1983 | Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. Vaughan R. Pratt |
| 1983 | How to Cook a Temporal Proof System for Your Pet Language. Zohar Manna, Amir Pnueli |
| 1983 | Incremental Data Flow Analysis. Barbara G. Ryder |
| 1983 | Incremental Polymorphic Type Checking in B. Lambert G. L. T. Meertens |
| 1983 | Locality in Software Systems. Naftaly H. Minsky |
| 1983 | Loops in Combinator-Based Compilers. Mitchell Wand |
| 1983 | Making Variables Abstract: An Equational Theory for Russell. Alan J. Demers, James E. Donahue |
| 1983 | Mechanisms for Compile-Time Enforcement of Security. Robert E. Strom |
| 1983 | On the Unification of Data and Program Abstraction in Ada. Peter Wegner |
| 1983 | Polymorphic Type Inference. Daniel Leivant |
| 1983 | Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. John Nagle, Scott Johnson |
| 1983 | Practical Use of a Polymorphic Applicative Language. Butler W. Lampson, Eric E. Schmidt |
| 1983 | Precise Typing of Abstract Data Type Specifications. Richard B. Kieburtz |
| 1983 | Reasoning About Nonatomic Operations. Leslie Lamport |
| 1983 | Structural Semantics for Polymorphic Data Types. Daniel Leivant |
| 1983 | Summarizing Graphs by Regular Expressions. Mark N. Wegman |
| 1983 | Transformational Programming - Applications to Algorithms and Systems. Robert Paige |
| 1983 | Uncovering Principles of Novice Programming. Jeffrey Bonar, Elliot Soloway |
| 1983 | Verifying Reachability Invariants of Linked Structures. Greg Nelson |