Patrick C. Fischer, Jeffrey D. Ullman
Conference Record of the First Symposium on Principles of Programming Languages
POPL, 1973.

@proceedings{POPL-1973,
	acmid         = "512927",
	address       = "Boston, Massachusetts, USA",
	editor        = "Patrick C. Fischer and Jeffrey D. Ullman",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the First Symposium on Principles of Programming Languages}",
	year          = 1973,
}

Contents (22 items)

3 ×#parsing
2 ×#approach
2 ×#compilation
2 ×#on the
2 ×#optimisation
2 ×#precedence
2 ×#problem
2 ×#semantics

POPL-1973-AhoJU #ambiguity #parsing

Deterministic Parsing of Ambiguous Grammars (AVA, SCJ, JDU), pp. 1–21.

POPL-1973-GellerH #lr #parsing #strict

Strict Deterministic Versus LR(0) Parsing (MMG, MAH), pp. 22–32.

POPL-1973-Schkolnick #parsing #precedence

Labelled Precedence Parsing (MS), pp. 33–40.

POPL-1973-Pratt #precedence #top-down

Top Down Operator Precedence (VRP), pp. 41–51.

POPL-1973-GrahamR #fault

Practical Syntactic Error Recovery (SLG, SPR), pp. 52–58.

POPL-1973-Zosel #approach #compilation #parallel

A Parallel Approach to Compilation (MZ), pp. 59–70.

POPL-1973-Backus #programming language #semantics

Programming Language Semantics and Closed Applicative Languages (JWB), pp. 71–86.

POPL-1973-Beech #on the #pl-i #standard

On the Definitional Method of Standard PL/1 (DB), pp. 87–94.

POPL-1973-Tennent #semantics

Mathematical Semantics of Snobol 4 (RDT), pp. 95–107.

POPL-1973-NolinR #formal method

Formalization of Exel (LN, GR), pp. 108–119.

POPL-1973-Morris #set

Types are Not Sets (JHMJ), pp. 120–124.

POPL-1973-LewisR #data type #recursion

Recursively Defined Data Types (CHL, BKR), pp. 125–138.

POPL-1973-FischerF

Mode Modules as Representations of Domains (AEF, MJF), pp. 139–143.

POPL-1973-Morris73a #compilation #proving

Advice on Structuring Compilers and Proving Them Correct (FLM), pp. 144–152.

POPL-1973-HewittBGSMS #induction

Actor Induction and Meta-Evaluation (CH, PB, IG, BCS, TM, RS), pp. 153–168.

POPL-1973-WaldingerL #reasoning #source code

Reasoning About Programs (RJW, KNL), pp. 169–182.

POPL-1973-Maggiolo-SchettiniRS #optimisation

Procedure Linkage Optimization (AMS, BKR, HRS), pp. 183–193.

POPL-1973-Kildall #approach #optimisation

A Unified Approach to Global Program Optimization (GAK), pp. 194–206.

POPL-1973-HechtU #algorithm #analysis #problem

Analysis of a Simple Algorithm for Global Flow Problems (MSH, JDU), pp. 207–217.

POPL-1973-Rosenberg #array

Transitions in Extendible Arrays (ALR), pp. 218–225.

POPL-1973-Lambert #scalability

Large Scale File Processing — Pogol (GJL), pp. 226–234.

POPL-1973-Chandra #commutative #on the #problem

On the Decision Problems of Program Schemas with Commutative and Invertable Functions (AKC), pp. 235–242.