Conference Record of the Sixth Annual Symposium on Principles of Programming Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.