POPL 1977
25 papers
- A Complete and Consistent Hoare Semantics for a Simple Programming Language
- A New Strategy for Code Generation - The General Purpose Optimizing Compiler
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
- An Efficient Insertion-Only Error-Corrector for LL(1) Parsers
- An Interprocedural Data Flow Analysis Algorithm
- Applications of Graph Grammar for Program Control Flow Analysis
- Applications of High-Level Control Flow
- Code Generation for Machines with Multiregister Operations
- Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions
- Generalized Common Subexpressions in Very High Level Languages
- Generalized Left Corner Parsing
- Implementation of an Array Bound Checker
- Minimal and Optimal Computations of Recursive Programs
- On the Covering of Left Recursive Grammars
- Parallel Program Correctness Through Refinement
- Parallelism and Synchronization in Actor Systems
- Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems
- Reduction in Strength of High Level Operations
- Social Processes and Proofs of Theorems and Programs
- Structuring
- Symbolic Evaluation and the Global Value Graph
- The Competence/Performance Dichotomy in Programming
- The Equivalence Problem for Program Schemata with Nonintersecting Loops
- The Evolution of Programs: A System for Automatic Program Modification
- Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures