6. POPL 1979:
San Antonio, Texas, USA
Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen (Eds.):
Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979.
ACM Press 1979
- Christopher W. Fraser:
A Compact, Machine-Independent Peephole Optimizer.
1-6

- Robert L. Constable, Scott Johnson:
A PL/CV Precis.
7-20

- Amelia C. Fong:
Automatic Improvement of Programs in Very High Level Languages.
21-28

- John Banning:
An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables.
29-41

- Donald I. Good, Richard M. Cohen, James Keeton-Williams:
Principles of Proving Programs Correct in Gypsy.
42-52

- Stanley Lee, Willem P. de Roever, Susan L. Gerhart:
The Evolution of List-Copying Algorithms.
53-67

- Robert Cartwright, John McCarthy:
First Order Programming Logic.
68-80

- David Harel:
Recursion in Logics of Programs.
81-92

- Vaughan R. Pratt:
Process Logic.
93-100

- Marco A. Casanova, Philip A. Bernstein:
The Logic of a Relational Data Manipulation Language.
101-109

- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
110-120

- Rina S. Cohen, E. Harry:
Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars.
121-134

- Sowmitri Swamy, John E. Savage:
Space-Time Tradeoffs for Linear Recursion.
135-142

- Norman H. Cohen:
Characterization and Elimination of Redundancy in Recursive Programs.
143-157

- Adrienne Critcher:
The Functional Power of Parameter Passage Mechanisms.
158-168

- Christoph M. Hoffmann, Michael J. O'Donnell:
Interpreter Generation Using Tree Pattern Matching.
169-179

- Irene Greif, Albert R. Meyer:
Specifying Programming Language Semantics.
180-189

- W. E. Gull, Michael A. Jenkins:
Decisions for ``Type'' in APL.
190-196

- Edmond Schonberg, Jacob T. Schwartz, Micha Sharir:
Automatic Data Structure Selection in SETL.
197-210

- Edmund M. Clarke:
Synthesis of Resource Invariants for Concurrent Programs.
211-221

- Ken C. Liu, Arthur C. Fleck:
String Pattern Matching in Polynomial Time.
222-225

- Sten Andler:
Predicate Path Expressions.
226-236

- Terrence C. Miller:
Type Checking in an Imperfect World.
237-243

- Neil D. Jones, Steven S. Muchnick:
Flow Analysis and Optimization of Lisp-Like Structures.
244-256

- John H. Reif:
Data Flow Analysis of Communicating Processes.
257-268

- Patrick Cousot, Radhia Cousot:
Systematic Design of Program Analysis Frameworks.
269-282

- Richard P. Reitman, Gregory R. Andrews:
Certifying Information Flow Properties of Programs: An Axiomatic Approach.
283-290

Last update Thu May 23 17:50:42 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page