POPL A*

23 papers

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