| 1975 | A Description of Path Expressions by Petri Nets. Peter E. Lauer, Roy H. Campbell |
| 1975 | A Fast and Usually Linear Algorithm for Global Flow Analysis. Susan L. Graham, Mark N. Wegman |
| 1975 | A Mathematical Approach to Language Design. George T. Ligler |
| 1975 | A Semantic Model for Parallel Systems with Scheduling. Ellis S. Cohen |
| 1975 | Actor Semantics of Planner-73. Irene Greif, Carl Hewitt |
| 1975 | An Algebra of Relations for Machine Computation. Patrick A. V. Hall, Peter Hitchcock, Stephen Todd |
| 1975 | An Algebraic Model for String Patterns. Glenn F. Stewart |
| 1975 | An Assertion Language for Data Structures. Stephen A. Cook, Derek C. Oppen |
| 1975 | Application of Lattice Algebra to Loop Optimization. Amelia C. Fong, John B. Kam, Jeffrey D. Ullman |
| 1975 | Automatic Data Structure Choice in a Language of Very High Level. Jacob T. Schwartz |
| 1975 | Computer Assisted Application Definition. Martin Mikelsons |
| 1975 | Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975 Robert M. Graham, Michael A. Harrison, John C. Reynolds |
| 1975 | Correctness-Preserving Program Transformations. Susan L. Gerhart |
| 1975 | Even Simple Programs are Hard to Analyze. Neil D. Jones, Steven S. Muchnick |
| 1975 | Modes, Values, and Expressions. Marvin H. Solomon |
| 1975 | New Control Structures to Aid Gotolessness. D. M. Symes |
| 1975 | Node Listings Applied to Data Flow Analysis. Ken Kennedy |
| 1975 | On the Complexity of LR(k) Testing. Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman |
| 1975 | On the Complexity of the Circularity Test for Attribute Grammars. Mehdi Jazayeri, William F. Ogden, William C. Rounds |
| 1975 | Program Schemas with Concurrency: Execution Time and Hangups. Bruce P. Lester |
| 1975 | Programming Languages, Natural Languages, and Mathematics. Peter Naur |
| 1975 | Reduction: A New Method of Proving Properties of Systems of Processes. Richard J. Lipton |
| 1975 | Structured Exception Handling. John B. Goodenough |