default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th POPL 1977: Los Angeles, California, USA
- Robert M. Graham, Michael A. Harrison, Ravi Sethi:
Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM 1977 - John C. Cherniavsky, Samuel N. Kamin:
A Complete and Consistent Hoare Semantics for a Simple Programming Language. 1-9 - Edmund M. Clarke:
Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. 10-20 - Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman:
Code Generation for Machines with Multiregister Operations. 21-28 - William H. Harrison:
A New Strategy for Code Generation - The General Purpose Optimizing Compiler. 29-37 - Barry K. Rosen:
Applications of High-Level Control Flow. 38-47 - Amelia C. Fong:
Generalized Common Subexpressions in Very High Level Languages. 48-57 - Robert Paige, Jacob T. Schwartz:
Reduction in Strength of High Level Operations. 58-71 - Ken Kennedy, Linda Zucconi:
Applications of Graph Grammar for Program Control Flow Analysis. 72-85 - Anton Nijholt
:
On the Covering of Left Recursive Grammars. 86-96 - Charles N. Fischer, D. R. Milton, S. B. Quiring:
An Efficient Insertion-Only Error-Corrector for LL(1) Parsers. 97-103 - John H. Reif, Harry R. Lewis:
Symbolic Evaluation and the Global Value Graph. 104-118 - Jeffrey M. Barth:
An Interprocedural Data Flow Analysis Algorithm. 119-131 - Norihisa Suzuki, Kiyoshi Ishihata:
Implementation of an Array Bound Checker. 132-143 - Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: A System for Automatic Program Modification. 144-154 - Thomas W. Doeppner Jr.:
Parallel Program Correctness Through Refinement. 155-169 - Alan J. Demers:
Generalized Left Corner Parsing. 170-182 - Eljas Soisalon-Soininen:
Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. 183-193 - Vaughan R. Pratt:
The Competence/Performance Dichotomy in Programming. 194-200 - Eric C. R. Hehner:
Structuring. 201-205 - Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis:
Social Processes and Proofs of Theorems and Programs. 206-214 - Gérard Berry, Jean-Jacques Lévy:
Minimal and Optimal Computations of Recursive Programs. 215-226 - Bernard Lang:
Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. 227-237 - Patrick Cousot, Radhia Cousot:
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. 238-252 - Harry R. Lewis:
The Equivalence Problem for Program Schemata with Nonintersecting Loops. 253-266 - Russell R. Atkinson, Carl Hewitt:
Parallelism and Synchronization in Actor Systems. 267-280
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 2025-12-09 23:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
