POPL 1973

22 papers

1. A Parallel Approach to Compilation · Mary Zosel
2. A Unified Approach to Global Program Optimization · Gary A. Kildall
3. Actor Induction and Meta-Evaluation · Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger
4. Advice on Structuring Compilers and Proving Them Correct · F. Lockwood Morris
5. Analysis of a Simple Algorithm for Global Flow Problems · Matthew S. Hecht, Jeffrey D. Ullman
6. Deterministic Parsing of Ambiguous Grammars · Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
7. Formalization of Exel · Louis Nolin, G. Ruggiu
8. Labelled Precedence Parsing · Mario Schkolnick
9. Large Scale File Processing - Pogol · Gloria J. Lambert
10. Mathematical Semantics of Snobol 4 · Robert D. Tennent
11. Mode Modules as Representations of Domains · Alice E. Fischer, Michael J. Fischer
12. On the Decision Problems of Program Schemas with Commutative and Invertable Functions · Ashok K. Chandra
13. On the Definitional Method of Standard PL/1 · David Beech
14. Practical Syntactic Error Recovery · Susan L. Graham, Steven P. Rhodes
15. Procedure Linkage Optimization · Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
16. Programming Language Semantics and Closed Applicative Languages · John W. Backus
17. Reasoning About Programs · Richard J. Waldinger, Karl N. Levitt
18. Recursively Defined Data Types · Clayton H. Lewis, Barry K. Rosen
19. Strict Deterministic Versus LR(0) Parsing · Matthew M. Geller, Michael A. Harrison
20. Top Down Operator Precedence · Vaughan R. Pratt
21. Transitions in Extendible Arrays · Arnold L. Rosenberg
22. Types are Not Sets · James H. Morris Jr.