POPL 1979

27 papers

1. A Compact, Machine-Independent Peephole Optimizer · Christopher W. Fraser
2. A PL/CV Precis · Robert L. Constable, Scott Johnson
3. An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables · John Banning
4. Automatic Data Structure Selection in SETL · Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
5. Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars · Rina S. Cohen, E. Harry
6. Automatic Improvement of Programs in Very High Level Languages · Amelia C. Fong
7. Certifying Information Flow Properties of Programs: An Axiomatic Approach · Richard P. Reitman, Gregory R. Andrews
8. Characterization and Elimination of Redundancy in Recursive Programs · Norman H. Cohen
9. Data Flow Analysis of Communicating Processes · John H. Reif
10. Decisions for "Type" in APL · W. E. Gull, Michael A. Jenkins
11. First Order Programming Logic · Robert Cartwright, John McCarthy
12. Flow Analysis and Optimization of Lisp-Like Structures · Neil D. Jones, Steven S. Muchnick
13. Interpreter Generation Using Tree Pattern Matching · Christoph M. Hoffmann, Michael J. O'Donnell
14. Predicate Path Expressions · Sten Andler
15. Principles of Proving Programs Correct in Gypsy · Donald I. Good, Richard M. Cohen, James G. Keeton-Williams
16. Process Logic · Vaughan R. Pratt
17. Recursion in Logics of Programs · David Harel
18. Space-Time Tradeoffs for Linear Recursion · Sowmitri Swamy, John E. Savage
19. Specifying Programming Language Semantics · Irene Greif, Albert R. Meyer
20. String Pattern Matching in Polynomial Time · Ken C. Liu, Arthur C. Fleck
21. Synthesis of Resource Invariants for Concurrent Programs · Edmund M. Clarke
22. Systematic Design of Program Analysis Frameworks · Patrick Cousot, Radhia Cousot
23. The Evolution of List-Copying Algorithms · Stanley Lee, Willem P. de Roever, Susan L. Gerhart
24. The Functional Power of Parameter Passage Mechanisms · Adrienne Critcher
25. The Logic of a Relational Data Manipulation Language · Marco A. Casanova, Philip A. Bernstein
26. The Universality of Data Retrieval Languages · Alfred V. Aho, Jeffrey D. Ullman
27. Type Checking in an Imperfect World · Terrence C. Miller