Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCID1st 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
a service of 
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.
last updated on 2022-10-03 01:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
