Conference Record of the First Symposium on Principles of Programming Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.