2. POPL 1975: Palo Alto, California

Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, January 1975.

Amelia C. Fong, John B. Kam, Jeffrey D. Ullman: Application of Lattice Algebra to Loop Optimization. 1-9 BibTeX
Ken Kennedy: Node Listings Applied to Data Flow Analysis. 10-21 BibTeX
Susan L. Graham, Mark N. Wegman: A Fast and Usually Linear Algorithm for Global Flow Analysis. 22-34 BibTeX
Jacob T. Schwartz: Automatic Data Structure Choice in a Language of Very High Level. 36-40 BibTeX
George T. Ligler: A Mathematical Approach to Language Design. 41-53 BibTeX
Susan L. Gerhart: Correctness-Preserving Program Transformations. 54-66 BibTeX
Irene Greif, Carl Hewitt: Actor Semantics of Planner-73. 67-77 BibTeX
Richard J. Lipton: Reduction: A New Method of Proving Properties of Systems of Processes. 78-86 BibTeX
Ellis S. Cohen: A Semantic Model for Parallel Systems with Scheduling. 87-94 BibTeX
Peter E. Lauer, Roy H. Campbell: A Description of Path Expressions by Petri Nets. 95-105 BibTeX
Neil D. Jones, Steven S. Muchnick: Even Simple Programs are Hard to Analyze. 106-118 BibTeX
Mehdi Jazayeri, William F. Ogden, William C. Rounds: On the Complexity of the Circularity Test for Attribute Grammars. 119-129 BibTeX
Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman: On the Complexity of LR(k) Testing. 130-136 BibTeX
Peter Naur: Programming Languages, Natural Languages, and Mathematics. 137-148 BibTeX
Marvin H. Solomon: Modes, Values, and Expressions. 149-159 BibTeX
Stephen A. Cook, Derek C. Oppen: An Assertion Language for Data Structures. 160-166 BibTeX
Glenn F. Stewart: An Algebraic Model for String Patterns. 167-184 BibTeX
Bruce P. Lester: Program Schemas with Concurrency: Execution Time and Hangups. 185-193 BibTeX
D. M. Symes: New Control Structures to Aid Gotolessness. 194-203 BibTeX
John B. Goodenough: Structured Exception Handling. 204-224 BibTeX
Patrick A. V. Hall, Peter Hitchcock, Stephen Todd: An Algebra of Relations for Machine Computation. 225-232 BibTeX
Martin Mikelsons: Computer Assisted Application Definition. 233-242 BibTeX