## Robert M. Graham, Michael A. Harrison, Ravi Sethi

*Conference Record of the Fourth Symposium on Principles of Programming Languages*

POPL, 1977.

@proceedings{POPL-1977, acmid = "512950", address = "Los Angeles, California, USA", editor = "Robert M. Graham and Michael A. Harrison and Ravi Sethi", publisher = "{ACM}", title = "{Conference Record of the Fourth Symposium on Principles of Programming Languages}", year = 1977, }

### Contents (25 items)

- POPL-1977-CherniavskyK #consistency #hoare #programming language #semantics
- A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.
- POPL-1977-Clarke #axiom #hoare #programming language
- Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.
- POPL-1977-AhoJU #code generation #multi
- Code Generation for Machines with Multiregister Operations (AVA, SCJ, JDU), pp. 21–28.
- POPL-1977-Harrison #code generation #compilation #optimisation
- A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
- POPL-1977-Rosen #control flow
- Applications of High-Level Control Flow (BKR), pp. 38–47.
- POPL-1977-Fong
- Generalized Common Subexpressions in Very High Level Languages (ACF), pp. 48–57.
- POPL-1977-PaigeS #reduction
- Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.
- POPL-1977-KennedyZ #analysis #control flow #graph grammar
- Applications of Graph Grammar for Program Control Flow Analysis (KK, LZ), pp. 72–85.
- POPL-1977-Nijholt #on the #recursion
- On the Covering of Left Recursive Grammars (AN), pp. 86–96.
- POPL-1977-FischerMQ #ll #parsing #performance
- An Efficient Insertion-Only Error-Corrector for LL(1) Parsers (CNF, DRM, SBQ), pp. 97–103.
- POPL-1977-ReifL #evaluation #graph #symbolic computation
- Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.
- POPL-1977-Barth #algorithm #analysis #data flow #interprocedural
- An Interprocedural Data Flow Analysis Algorithm (JMB), pp. 119–131.
- POPL-1977-SuzukiI #array #bound #implementation
- Implementation of an Array Bound Checker (NS, KI), pp. 132–143.
- POPL-1977-DershowitzM #automation #evolution #source code
- The Evolution of Programs: A System for Automatic Program Modification (ND, ZM), pp. 144–154.
- POPL-1977-Doeppner #correctness #parallel #refinement
- Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.
- POPL-1977-Demers #parsing
- Generalized Left Corner Parsing (AJD), pp. 170–182.
- POPL-1977-Soisalon-Soininen #lr #parsing #reduction #using
- Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions (ESS), pp. 183–193.
- POPL-1977-Pratt #performance #programming
- The Competence/Performance Dichotomy in Programming (VRP), pp. 194–200.
- POPL-1977-Hehner
- Structuring (ECRH), pp. 201–205.
- POPL-1977-DeMilloLP #process #proving #social #source code #theorem
- Social Processes and Proofs of Theorems and Programs (RAD, RJL, AJP), pp. 206–214.
- POPL-1977-BerryL #recursion #source code
- Minimal and Optimal Computations of Recursive Programs (GB, JJL), pp. 215–226.
- POPL-1977-Lang #call-by #evaluation #semantics
- Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures (BL), pp. 227–237.
- POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.
- POPL-1977-Lewis #equivalence #problem
- The Equivalence Problem for Program Schemata with Nonintersecting Loops (HRL), pp. 253–266.
- POPL-1977-HewittA #parallel
- Parallelism and Synchronization in Actor Systems (RRA, CH), pp. 267–280.

4 ×#source code

3 ×#parsing

2 ×#analysis

2 ×#code generation

2 ×#control flow

2 ×#evaluation

2 ×#hoare

2 ×#parallel

2 ×#performance

2 ×#programming language

3 ×#parsing

2 ×#analysis

2 ×#code generation

2 ×#control flow

2 ×#evaluation

2 ×#hoare

2 ×#parallel

2 ×#performance

2 ×#programming language