![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1st POPL 1973: Boston, Massachusetts, USA
- Patrick C. Fischer, Jeffrey D. Ullman:
Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973. ACM Press 1973 - Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman:
Deterministic Parsing of Ambiguous Grammars. 1-21 - Matthew M. Geller, Michael A. Harrison:
Strict Deterministic Versus LR(0) Parsing. 22-32 - Mario Schkolnick:
Labelled Precedence Parsing. 33-40 - Vaughan R. Pratt:
Top Down Operator Precedence. 41-51 - Susan L. Graham, Steven P. Rhodes:
Practical Syntactic Error Recovery. 52-58 - Mary Zosel:
A Parallel Approach to Compilation. 59-70 - John W. Backus:
Programming Language Semantics and Closed Applicative Languages. 71-86 - David Beech:
On the Definitional Method of Standard PL/1. 87-94 - Robert D. Tennent:
Mathematical Semantics of Snobol 4. 95-107 - Louis Nolin, G. Ruggiu:
Formalization of Exel. 108-119 - James H. Morris Jr.:
Types are Not Sets. 120-124 - Clayton H. Lewis, Barry K. Rosen:
Recursively Defined Data Types. 125-138 - Alice E. Fischer, Michael J. Fischer:
Mode Modules as Representations of Domains. 139-143 - F. Lockwood Morris:
Advice on Structuring Compilers and Proving Them Correct. 144-152 - Carl Hewitt, Peter Boehler Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger:
Actor Induction and Meta-Evaluation. 153-168 - Richard J. Waldinger, Karl N. Levitt:
Reasoning About Programs. 169-182 - Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong:
Procedure Linkage Optimization. 183-193 - Gary A. Kildall:
A Unified Approach to Global Program Optimization. 194-206 - Matthew S. Hecht, Jeffrey D. Ullman:
Analysis of a Simple Algorithm for Global Flow Problems. 207-217 - Arnold L. Rosenberg:
Transitions in Extendible Arrays. 218-225 - Gloria J. Lambert:
Large Scale File Processing - Pogol. 226-234 - Ashok K. Chandra:
On the Decision Problems of Program Schemas with Commutative and Invertable Functions. 235-242
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.