6. POPL 1979:
San Antonio, Texas
Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979.
ACM 1979
@proceedings{DBLP:conf/popl/79,
title = {Conference Record of the Sixth Annual ACM Symposium on Principles
of Programming Languages, San Antonio, Texas, January 1979},
publisher = {ACM},
year = {1979},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- 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 L. 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 Swami, 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
Copyright © Mon Nov 2 21:05:01 2009
by Michael Ley (ley@uni-trier.de)