Alfred V. Aho, Stephen N. Zilles, Barry K. Rosen
Conference Record of the Sixth Annual Symposium on Principles of Programming Languages
POPL, 1979.

@proceedings{POPL-1979,
	acmid         = "567752",
	address       = "San Antonio, Texas, USA",
	editor        = "Alfred V. Aho and Stephen N. Zilles and Barry K. Rosen",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Sixth Annual Symposium on Principles of Programming Languages}",
	year          = 1979,
}

Contents (27 items)

6 ×#source code
4 ×#logic
3 ×#automation
3 ×#recursion
2 ×#analysis
2 ×#data flow
2 ×#generative
2 ×#pattern matching
2 ×#process

POPL-1979-Fraser #independence

A Compact, Machine-Independent Peephole Optimizer (CWF), pp. 1–6.

POPL-1979-ConstableJ

A PL/CV Precis (RLC, SJ), pp. 7–20.

POPL-1979-Fong #automation #source code

Automatic Improvement of Programs in Very High Level Languages (ACF), pp. 21–28.

POPL-1979-Banning #alias #performance

An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables (JB), pp. 29–41.

POPL-1979-GoodC #proving #source code

Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.

POPL-1979-LeeGR #algorithm #evolution

The Evolution of List-Copying Algorithms (SL, WPdR, SLG), pp. 53–67.

POPL-1979-CartwrightM #first-order #logic #programming

First Order Programming Logic (RC, JM), pp. 68–80.

POPL-1979-Harel #logic #recursion #source code

Recursion in Logics of Programs (DH), pp. 81–92.

POPL-1979-Pratt #logic #process

Process Logic (VRP), pp. 93–100.

POPL-1979-CasanovaB #logic #relational

The Logic of a Relational Data Manipulation Language (MAC, PAB), pp. 101–109.

POPL-1979-AhoU #retrieval

The Universality of Data Retrieval Languages (AVA, JDU), pp. 110–120.

POPL-1979-CohenH #attribute grammar #automation #generative

Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars (RSC, EH), pp. 121–134.

POPL-1979-SavageS #linear #recursion #trade-off

Space-Time Tradeoffs for Linear Recursion (SS, JES), pp. 135–142.

POPL-1979-Cohen #recursion #source code

Characterization and Elimination of Redundancy in Recursive Programs (NHC), pp. 143–157.

POPL-1979-Critcher #functional #parametricity #power of

The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.

POPL-1979-HoffmanO #generative #interpreter #pattern matching #using

Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.

POPL-1979-GreifM #programming language #semantics #specification

Specifying Programming Language Semantics (IG, ARM), pp. 180–189.

POPL-1979-GullJ

Decisions for “Type” in APL (WEG, MAJ), pp. 190–196.

POPL-1979-SchonbergSS #automation #data type

Automatic Data Structure Selection in SETL (ES, JTS, MS), pp. 197–210.

POPL-1979-Clarke #concurrent #invariant #source code #synthesis

Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.

POPL-1979-LiuF #pattern matching #polynomial #string

String Pattern Matching in Polynomial Time (KCL, ACF), pp. 222–225.

POPL-1979-Andler

Predicate Path Expressions (SA), pp. 226–236.

POPL-1979-Miller #type checking

Type Checking in an Imperfect World (TCM), pp. 237–243.

POPL-1979-JonesM #analysis #optimisation

Flow Analysis and Optimization of Lisp-Like Structures (NDJ, SSM), pp. 244–256.

POPL-1979-Reif #analysis #communication #data flow #process

Data Flow Analysis of Communicating Processes (JHR), pp. 257–268.

POPL-1979-CousotC #design #framework #program analysis

Systematic Design of Program Analysis Frameworks (PC, RC), pp. 269–282.

POPL-1979-ReitmanA #approach #axiom #data flow #source code

Certifying Information Flow Properties of Programs: An Axiomatic Approach (RPR, GRA), pp. 283–290.