%A Alfred V. Aho
%A Steven C. Johnson
%A Jeffrey D. Ullman
%T Deterministic parsing of ambiguous grammars
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 1-21

%A Matthew M. Geller
%A Michael A. Harrison
%T Strict deterministic versus LR(0) parsing
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 22-32

%A Mario Schkolnick
%T Labelled precedence parsing
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 33-40

%A Vaughan R. Pratt
%T Top down operator precedence
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 41-51

%A Susan L. Graham
%A Steven P. Rhodes
%T Practical syntactic error recovery in compilers
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 52-58

%A Mary Zosel
%T A parallel approach to compilation
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 59-70

%A John Backus
%T Programming language semantics and closed applicative languages
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 71-86

%A David Beech
%T On the definitional method of standard PL/I
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 87-94

%A R.D. Tennent
%T Mathematical semantics of SNOBOL4
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 95-107

%A L. Nolin
%A G. Ruggiu
%T Formalization of EXEL
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 108-119

%A James H. Morris,\ Jr.
%T Types are not sets
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 120-124

%A Clayton H. Lewis
%A Barry K. Rosen
%T Recursively defined data types
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 125-138

%A Alice E. Fischer
%A Michael J. Fischer
%T Mode modules as representations of domains
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 139-143

%A F. Lockwood Morris
%T Advice on structuring compilers and proving them correct
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 144-152

%A Carl Hewitt
%A Peter Bishop
%A Irene Greif
%A Brian Smith
%A Todd Matson
%A Richard Steiger
%T Actor induction and meta-evaluation
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 153-168

%A Richard J. Waldinger
%A Karl N. Levitt
%T Reasoning about programs
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 169-182

%A A. Maggiolo-Schettini
%A B.K. Rosen
%A H.R. Strong
%T Procedure linkage optimization
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 183-193

%A Gary A. Kildall
%T A unified approach to global program optimization
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 194-206

%A Matthew S. Hecht
%A Jeffrey D. Ullman
%T Analysis of simple algorithm for global flow problems
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 207-217

%A Arnold L. Rosenberg
%T Transition in extendible arrays
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 218-225

%A Gloria J. Lambert
%T Large scale file processing - POGOL
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 226-234

%A Ashok K. Chandra
%T On the decision problems of program schemes
with commutative and invertible functions
%J Conference Record of the First ACM Symposium
on Principles of Programming Languages
%C Boston, Massachusetts
%D October 1973
%K popl popl1
%P 235-242

%A Amelia Fong
%A John Kam
%A Jeffrey D. Ullman
%T Application of lattice algebra to loop optimization
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 1-9

%A K.W. Kennedy
%T Node listings applied to data flow analysis
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 10-21

%A Susan L. Graham
%A Mark Wegman
%T A fast and usually linear algorithm for global flow analysis
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 22-34

%A Christopher Ryland
%T Some optimization techniques for an extensible language (abstract only)
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 35

%A J.T. Schwartz
%T Automatic data structure choice in a language of very high level
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 36-40

%A George T. Ligler
%T A mathematical approach to language design
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P A41-53

%A Susan L. Gerhart
%T Correctness-preserving program transformations
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 54-66

%A Irene Greif
%A Carl Hewitt
%T Actor semantics of PLANNER-73
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 67-77

%A Richard J. Lipton
%T Reduction: a new method of proving properties of systems of processes
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 78-86

%A Ellis S. Cohen
%T A semantic model for parallel systems with scheduling
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 87-94

%A P.E. Lauer
%A R.H. Campbell
%T A description of path expressions by Petri nets
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 95-105

%A Neil D. Jones
%A Steven S. Muchnick
%T Even simple programs are hard to analyze
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 106-118

%A M. Jazayeri
%A W.F. Ogden
%A W.C. Rounds
%T On the complexity of the circularity test for attribute grammars
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 119-129

%A Harry B. Hunt,\ III
%A Thomas G. Szymanski
%A Jeffrey D. Ullman
%T On the complexity of LR(k) testing
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 130-136

%A Peter Naur
%T Programming languages, natural languages and mathematics
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 137-148

%A Marvin Solomon
%T Modes values and expressions
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 149-159

%A Stephen A. Cook
%A Derek C. Oppen
%T An assertion language for data structures
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 160-166

%A Glenn F. Stewart
%T An algebraic model for string patterns
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 167-184

%A Bruce P. Lester
%T Prorgam schemas with concurrency: execution time and hangups
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 185-193

%A D.M. Symes
%T New control structures to aid gotolessness
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 194-203

%A John B. Goodenough
%T Structured exception handling
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 204-224

%A Patrick Hall
%A Peter Hitchcock
%A Stephen Todd
%T An algebra of relations for machine computation
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 225-232

%A Martin Mikelsons
%T Computer assisted application definition
%J Conference Record of the Second ACM Symposium
on Principles of Programming Languages
%C Palo Alto, California
%D January 1975
%K popl popl2
%P 233-242

%A Benton L. Leong
%A Detlef Wotschke
%T The influence of productions on derivations and parsing
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 1-11

%A H.B. Hunt,\ III
%T A complexity theory of grammar problems
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 12-18

%A A.V. Ahon
%A S.C. Johnson
%A J.D. Ullman
%T Code generation for expressions with common subexpressions
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 19-31

%A Ken Kennedy
%A Scott K. Warren
%T Automatic generation of efficient evaluators for attribute grammars
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 32-49

%A Gregory R. Ruth
%T Automatic design of data processing systems
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 50-57

%A James Low
%A Paul Rovner
%T Techniques for the automatic selection of data structures
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 58-67

%A Philip D. Summers
%T A methodology for LISP program construction from examples
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 68-76

%A Neil D. James
%A Steven S. Muchnick
%T Binding time optimization in programming languages:
some thought toward the design of an ideal language
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 77-94

%A Peter Henderson
%A James H. Morris,\ Jr.
%T A lazy evaluator
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 95-103

%A Amelia C. Fong
%A Jeffrey D. Ullman
%T Induction variables in very high level languages
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 104-112

%A Brenda S. Baker
%T An algorithm for structuring programs
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 113-126

%A Wilf R. Lalonde
%T On directly constructing LR(k) parsers without chain reductions
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 127-133

%A Reinhold Franck
%T PLAN2D - syntactic analysis of precedence graph grammars
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 134-139

%A David B. Loveman
%T Program improvement by source to source transformation
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 140-152

%A Ben Wegbreit
%T Goal-directed program transformation
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 153-170

%A R.S. Boyer
%A J.S. Moore
%A R.E. Shostak
%T Primitive recursive program transformation
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 171-174

%A Paul. R. Kosinski
%T Mathematical semantics and data flow programming
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 175-184

%A Dianne E. Britton
%A Frederick C. Druseikis
%A Ralph E. Griswold
%A David R. Hanson
%A Richard A. Holmes
%T Procedure referencing environments in SL5
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 185-191

%A Patricia P. Griffiths
%A Charles J. Prenner
%T Verifying formal specifications of synchronous processes
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 192-208

%A Matthew Geller
%T Test data as an aid in proving program correctness
%J Conference Record of the Third ACM Symposium
on Principles of Programming Languages
%C Atlanta, Georgia
%D January 1976
%K popl popl3
%P 209-218

%A John C. Cherniavsky
%A Samuel N. Kamin
%T A complete and consistent Hoare axiomatics
for a simple programming language
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 1-9

%A Edmund Melson Calrke,\ Jr.
%T Programming language constructs for which it is impossible to obtain
"good" Hoare-like axiom systems
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 10-20

%A A.V. Aho
%A S.C. Johnson
%A J.D. Ullman
%T Code generation for machines with multiregister operations
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 21-28

%A William Harrison
%T A new strategy for code generation
- the general purpose optimizing compiler
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 29-37

%A Barry K. Rosen
%T Applications of high level control flow
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 38-47

%A Amelia C. Fong
%T Generalized common subexpressions in very high level languages
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 48-57

%A Bob Paige
%A J.T. Schwartz
%T Reduction in strength of high level operations
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 58-71

%A Ken Kennedy
%A Linda Zucconi
%T Applications of a graph grammar for program control flow analysis
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 72-85

%A Anton Nijholt
%T On the covering of left recursive grammars
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 86-96

%A C.N. Fischer
%A D.R. Milton
%A S.B. Quiring
%T An efficient insertion-only error-corrector for LL(1) parsers
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 97-103

%A John H. Reif
%A Harry R. Lewis
%T Symbolic evaluation and the global value graph
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 104-118

%A Jeffrey M. Barth
%T An interprocedural data flow analysis algorithm
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 119-131

%A Norihisa Suzuki
%A Kiyoshi Ishihata
%T Implementation of array bound checker
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 132-143

%A Nachum Dershowitz
%A Zohar Manna
%T The evolution of programs: a system for automatic program modification
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 144-154

%A Thomas W. Doeppner,\ Jr.
%T Parallel program correctness through refinement
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 155-169

%A Alan Demers
%T Generalized left corner parsing
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 170-182

%A Eljas Soisalon-Soininen
%T Elimination of single productions from LR parsers
in conjunction with the use of default reductions
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 183-193

%A Vaughan R. Pratt
%T The competence/performance dichotomy in programming
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 194-200

%A Eric C.R. Hehner
%T Structuring
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 201-205

%A Richard A. DeMillo
%A Richard J. Lipton
%A Alana J. Perlis
%T Social processes and proofs of theorems and programs
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 206-214

%A G. Berry
%A J.J. Levy
%T Minimal and optimal computations of recursive programs
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 215-226

%A Bernard Lang
%T Threshold evaluation and the semantics of
call by value, assignment and generic procedures
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 227-237

%A P. Cousot
%A R. Cousot
%T Abstract interpretation: a unified lattice model
for static analysis of programs
by construction or approximation of fixpoints
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 238-252

%A Harry R. Lewis
%T The equivalence problem for program schemata with nonintersecting loops
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 253-266

%A Carl Hewitt
%A Russell Atkinson
%T Parallelism and synchronization in actor systems
%J Conference Record of the Fourth ACM Symposium
on Principles of Programming Languages
%C Los Angeles, California
%D January 1977
%K popl popl4
%P 267-280

%A Leo J. Guibas
%A Douglas K. Wyatt
%T Compilation and delayed evaluation in APL
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 1-8

%A Daniel Ingalls
%T The Smalltalk-76 programming system
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 9-16

%A E.A. Ashcroft
%A W.W. Wadge
%T Clauses: scope structures and defined functions in LUCID
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 17-22

%A Alan Demers
%A James Donahue
%A Glenn Skinner
%T Data types as values: polymorphism, type checking, encapsulation
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 23-30

%A Marvin Solomon
%T Type definitions with parameters
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 31-38

%A John C. Reynolds
%T Syntactic control of interference
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 39-46

%A Barry K. Rosen
%T Monoids for rapid data flow analysis
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 47-59

%A Marc A. Kaplan
%A Jeffrey D. Ullman
%T A general scheme for the automatic inference of variable types
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 60-75

%A John H. Reif
%T Symbolic program analysis in almost linear time
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 76-83

%A Patrick Cousot
%A Nicholas Halbwachs
%T Automatic discovery of linear restraints among variables of a program
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 84-96

%A Stephen C. Johnson
%T A portable compiler: theory and practice
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 97-104

%A Steven German
%T Automating proofs of the absence of common runtime errors
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 105-118

%A M. Gordon
%A R. Milner
%A L. Morris
%A M. Newey
%A C. Wadsworth
%T A metalanguage for interactive proof in LCF
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 119-130

%A Robert Cartwright
%A Derek C. Oppen
%T Unrestricted procedure calls in Hoare's logic
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 131-140

%A Charles G. Nelson
%A Derek C. Oppen
%T A simplifier based on efficient decision algorithms
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 141-150

%A Derek C. Oppen
%T Reasoning about recursively defined data structures
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 151-157

%A Peter J. Downey
%A Hanan Samet
%A Ravi Sethi
%T Off-line and on-line algorithms for deducing equalities
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 158-170

%A David W. Mizell
%T Verification and design aspects of "true" concurrency
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 171-175

%A Karel Culik
%T Almost control-free (indeterministic) parallel computation
on permit schemes
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 176-184

%A William F. Ogden
%A William E. Riddle
%A William C. Rounds
%T Complexity of expressions allowing concurrency
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 185-194

%A Anders Haraldsson
%T A partial evaluator and its use for compiling iterative statements
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 195-202

%A David Harel
%A Vaughan R. Pratt
%T Nondeterminism in logics of programs
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 203-213

%A Paul R. Kosinski
%T A straightforward denotational semantics
for non-determinant data flow programs
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 214-221

%A Bhaskaram Prabhala
%A Ravi Sethi
%T Efficient computation of expressions with common subexpressions
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 222-230

%A R. Steven Glanville
%A Susan L. Graham
%T A new method for compiler code generation
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 231-240

%A Thomas J. Pennello
%A Frank DeRemer
%T A forward move algorithm for LR error recovery
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 241-254

%A Aravind K. Joshi
%A Leon S. Levy
%A Kang Yueh
%T Local constraints in the syntax and semantics of programming languages
%J Conference Record of the Fifth ACM Symposium
on Principles of Programming Languages
%C Tucson, Arizona
%D January 1978
%K popl popl5
%P 255-264

%A Christopher W. Fraser
%T A compact, machine-independent peephole optimizer
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 1-6

%A Robert L. Constable
%A Scott Johnson
%T A PL/CV precis
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 7-20

%A Amelia C. Fong
%T Automatic improvement of programs in very high level languages
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 21-28

%A John Banning
%T An efficient way to find
the side effects of procedure calls and aliases of variables
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 29-41

%A Donald I. Good
%A Richard M. Cohen
%T Principles of proving concurrent programs in Gypsy
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 42-52

%A Stanley Lee
%A Susan L. Gerhart
%A Willem P. deRoever
%T The evolution of list-copying algorithms
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 53-67

%A Robert Cartwright
%A John McCarthy
%T First order programming logic
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 68-80

%A David Harel
%T Recursion on logics of programs
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 81-92

%A Vaughan R. Pratt
%T Process logic
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 93-100

%A Marco A. Casanova
%A Philip A. Bernstein
%T The logic of a relational data manipulation language
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 101-109

%A Alfred V. Aho
%A Jeffrey D. Ullman
%T Universality of data retrieval languages
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 110-120

%A Rina Cohen
%A E. Harry
%T Automatic generation of near-optimal translators
for non-circular attribute grammars
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 121-134

%A J.E. Savag
%A Sowmitri Swamy
%T Space-time tradeoffs for linear recursion
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 135-142

%A Norman H. Cohen
%T Characterization and elimination of redundancy in recursive programs
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 143-157

%A Adrienne Critcher
%T The functional power of parameter passage mechanisms
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 158-168

%A Cristoph M. Hoffmann
%A Michael J. O'Donnell
%T Interpreter generation using tree pattern matching
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 169-179

%A Irene Greif
%A Albert Meyer
%T Specifying programming language semantics
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 180-189

%A W.E. Gull
%A M.A. Jenkins
%T Decisions for "type" in APL
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 190-196

%A Edmond Schonberg
%A Jacob T. Schwartz
%A Micha Sharir
%T Automatic data structure selection in SETL
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 197-210

%A Edmunf M. Clarke
%T Synthesis of resource invariants for concurrent programs
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 211-221

%A Ken C. Liu
%A Arthur C. Fleck
%T String pattern matching in polynomial time
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 222-225

%A Sten Andler
%T Predicate path expression
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 226-236

%A Terrence C. Miller
%T Type checking in an imperfect world
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 237-243

%A Neil D. Jones
%A Steven S. Muchnick
%T Flow analysis and optimization of LISP-like structures
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 244-256

%A John H. Reif
%T Data flow analysis of communicating processes
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 257-268

%A Patrick Cousot
%A Radhia Cousot
%T Systematic design of program analysis frameworks
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 269-282

%A Richard P. Reitman
%A Gregory R. Andrews
%T Certifying information flow properties of programs: an axiomatic approach
%J Conference Record of the Sixth ACM Symposium
on Principles of Programming Languages
%C San Antonio, Texas
%D January 1979
%K popl popl6
%P 283-290

%A Norihisa Suzuki
%T Analysis of pointer rotation
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 1-11

%A Alan J. Demers
%A James E. Donahue
%T Data types, parameters and type checking
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 12-23

%A Brian K. Reid
%T A high-level approach to computer document formatting
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 24-31

%A James H. Morris
%A Eric Schmidt
%A Philip Wadler
%T Experience with an applicative string processing language
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 32-46

%A Paul Klint
%T An overview of the SUMMER programming language
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 47-55

%A A.J. Kfoury
%T Analysis of simple programs over different sets of primitives
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 56-61

%A Zohar Manna
%A Amir Pnueli
%T Synchronous schemes and their decision problems
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 62-67

%A L. Howard Holley
%A Barry K. Rosen
%T Qualified data flow problems
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 68-82

%A William E. Weihl
%T Interprocedural data flow analysis
in the presence of pointers, procedure variables and label variables
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 83-94

%A Robert E. Tarjan
%A Jacobo Valdes
%T Prime subprogram parsing of a program
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 95-105

%A V.R. Pratt
%T On specifying verifiers
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 106-116

%A Ravi Sethi
%T A case study in specifying the semantics of a programming language
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 117-130

%A Samuel Kamin
%T Final data type specifications: a new data type specification method
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 131-138

%A Samuel KaminDeepak Kapur
%A Srivas Mandayam
%T Expressiveness of the operation set of a data abstraction
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 139-153

%A David R. Musser
%T On proving inductive properties of abstract data types
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 154-162

%A Dov Gabbay
%A Amir Pnueli
%A Saharon Shelah
%A Jonathan Stavi
%T On the temporal analysis of fairness
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 163-173

%A Leslie Lamport
%T "Sometime" is sometimes "not never" - on the temporal logic of programs
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 174-185

%A Rohit Parikh
%T Propositional logics of programs: systems, models, and complexity
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 186-192

%A John H. Reif
%A Gary L. Peterson
%T A dynamic logic of multiprocessing with incomplete information
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 193-202

%A Albert R. Meyer
%A Joseph Y. Halpern
%T Axiomatic definitions of programming languages:
a theoretical assessment
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 203-212

%A H.B. Hunt,\ III
%A D.J. Rosenkrantz
%T Efficient algorithms for structural similarity of grammars
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 213-233

%A Alan Demers
%A James Donahue
%T "Type-completeness" as a language principle
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 234-244

%A Daniel P. Friedman
%A David S. Wise
%T An indeterminate constructor for applicative programming
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 245-250

%A John Guttag
%A J.J. Horning
%T Formal specification as a design tool
%J Conference Record of the Seventh ACM Symposium
on Principles of Programming Languages
%C Las Vegas, Nevada
%D January 1980
%K popl popl7
%P 251-261

%A P. Geoffrey Lowney
%T Carrier arrays: an idiom preserving extension to APL
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 1-13

%A Robert T. Hood
%A Robert Cartwright
%A Philip Matthews
%T Paths: an abstract alternative to pointers
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 14-27

%A Jayashree Ramanathan
%A C.J. Shubra
%T Modeling of problem domains for driving program development systems
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 28-40

%A William L. Scherlis
%T Program improvement by internal specializations
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 41-49

%A Ashok K. Chandra
%T Programming primitives for database languages
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 50-62

%A Michael W. Condry
%T Paging as a "language processing" task
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 63-76

%A Susan S. Owicki
%T Making the world safe for garbage collection
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 77-86

%A W.M. Harrison
%T Position paper on optimizing compilers
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 88-89

%A S.C. Johnson
%T Position paper on optimizing compilers
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 90-91

%A C.N. Alberga
%A A.L. Brown
%A G.B. Leeman
%A M. Mikelsons
%A M.N. Wegman
%T A program development tool
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 92-104

%A A.L. Demers
%A T. Reps
%A T. Teitelbaum
%T Incremental evaluation for attribute grammars,
with application to syntax-directed editors
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 105-116

%A Barry K. Rosen
%T Linear cost is sometimes quadratic
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 117-124

%A Robert Cartwright
%T Formal program testing
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 125-132

%A M. Rabin
%A D. Lehmann
%T On the advantages of free choice:
a symmetric and fully distributed solution
to the dining philosophers problem
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 133-138

%A Albert R. Meyer
%A Joseph Y. Halpern
%T Axiomatic definitions of programming languages, II
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 139-148

%A Wolfgang Polak
%T Program verification based on denotational semantics
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 149-158

%A Vaughan R. Pratt
%T Program logic without binding is decidable
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 159-163

%A M. Ben-Ari
%A Z. Manna
%A A. Pneuli
%T The temporal logic of branching time
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 164-176

%A Takuya Katayama
%A Yutaka Hoshino
%T Verification of attribute grammar
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 177-186

%A Norihisa Suzuki
%T Inferring types in Smalltalk
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 187-199

%A John L. Hennessy
%T Program optimization and exception handling
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 200-206

%A D. Kuck
%A R. Kuhn
%A B. Leasure
%A D. Padua
%A M. Wolfe
%T Dependence graphs and compiler optimizations
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 207-218

%A Eugene W. Myers,\ Jr.
%T A precise inter-procedural data flow algorithm
%J Conference Record of the Eighth ACM Symposium
on Principles of Programming Languages
%C Williamsburg, Virginia
%D January 1981
%K popl popl8
%P 219-230

%A S. Hart
%A M. Sharir
%A A. Pnueli
%T Termination of probabilistic concurrent programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 1-6

%A B. Liskov
%A R. Scheifler
%T Guardians and actions: linguistic support for robust, distributed programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 7-19

%A P. Wolper
%T Specification and synthesis of communicating processes
using an extended temporal logic (preliminary version)
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 20-33

%A D.W. Wall
%T Messages as active agents
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 34-39

%A N. Francez
%T Extended naming conventions for communicating processes
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 40-45

%A J. Reif
%A P. Spirakis
%T Unbounded speed variability in distributed communication systems
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 46-56

%A R.J. Lipton
%A J. Valdes
%A R. Sedgewick
%T Programming aspects of VLSI
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 57-65

%A N.D. Jones
%A S.S. Muchnick
%T A flexible approach to interprocedural data flow analysis
and programs with recursive data structures
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 66-74

%A R. Giegerich
%T Automatic generation of machine specific code optimizers
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 75-81

%A M.V.S. Ramanath
%A M. Solomon
%T Optimal code for control structures
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 82-94

%A R. Farrow
%T Experience with an attribute grammar-based compiler
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 95-107

%A M. Ganapathi
%A C.N. Fischer
%T Description-driven code generation using attribute programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 108-119

%A J.L. Hennessy
%A T.R. Gross
%T Code generation and reorganization
in the presence of pipeline constraints
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 120-127

%A J.W. Davidson
%A C.W. Fraser
%T Eliminating redundant object code
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 128-132

%A A.H. Borning
%A D.H.H. Ingalls
%T A type declaration and inference system for Smalltalk
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 133-141

%A D. Sandberg
%T Lithe: a language combining a flexible syntax and classes
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 142-145

%A E. Sandewall
%T Unified dialogue management in the Carousel system
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 146-156

%A P.J. Voda
%T Maple: a programming language and operating system
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 157-168

%A T. Reps
%T Optimal-time incremental semantic analysis for syntax-directed editors
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 169-176

%A S. Sippu
%T Practical error recovery in LR parsing
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 177-184

%A G.F. Johnson
%A C.N. Fischer
%T Non-syntactic attribute flow in language based editors
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 185-195

%A F. Jalili
%A J.H. Gallier
%T Building friendly parsers
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 196-206

%A L. Damas
%A R. Milner
%T Principal type-schemes for functional programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 207-212

%A V.R. Pratt
%T On the composition of processes
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 213-0223

%A L. Paulson
%T A semantics-directed compiler generator
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 224-233

%A M. Wand
%T Semantics-directed machine architecture
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 234-241

%A M.C. Henson
%A R. Turner
%T Completion semantics and interpreter generation
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 242-254

%A H.J. Komorowski
%T Partial evaluation as a means for inferencing data structures
in an applicative language: a theory and implementation in the case of Prolog
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 255-267

%A H. Boehm
%T A logic for expressions with side effects
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 268-280

%A S. Yezimi
%T An axiomatic treatment of exception handling
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 281-288

%A E. Gansner
%A J.R. Horgan
%A C.M.R. Kintala
%A D.J. Moore
%A P. Surko
%T Semantics and correctness of a query language translation
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 289-298

%A E.Y. Shapiro
%T Algorithmic program diagnosis
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 299-308

%A E.M. Clarke
%A S.M. German
%T On effective axiomatizations of Hoare logics
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 309-321

%A B. Hailpern
%A S. Owicki
%T Modular verification of concurrent programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 322-336

%A A.E. Meyer
%A J.C. Mitchell
%T Axiomatic definability and completeness for recursive programs
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 337-346

%A R. Sherman
%A A. Pnueli
%A D. Harel
%T Is the interesting part of process logic uninteresting ?
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 347-360

%A E.C. Cooper
%T On the expressive power of query languages for relational databases
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 361-365

%A A. Critcher
%T On the ability of structures to store and access information
%J Conference Record of the Ninth ACM Symposium
on Principles of Programming Languages
%C Albuquerque, New Mexico
%D January 1982
%K popl popl9
%P 366-378

%A Vaughan R. Pratt
%T Five paradigm shifts in programming language design
and their realization in a programming language
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 1-9

%A Jeffrey Bonar
%A Elliot Soloway
%T Uncovering principles of novice programming
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 10-13

%A S.C. Johnson
%T Code generation for silicon
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 14-19

%A R.J.R. Back
%A Heikki Mannila
%A Kari-Jouko Raiha
%T Derivation of efficient DAG marking algorithms
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 20-27

%A Leslie Lamport
%T Reasoning about about nonatomic operations
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 28-37

%A Greg Nelson
%T Verifying reachability invariants of linked structures
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 38-47

%A Scott Johnson
%A John Nagle
%T Automatic program proving for real-time embedded software
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 48-58

%A Alan J. Demers
%A James E. Donahue
%T Making variables abstract: an equational theory for Russell
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 59-72

%A Robert Paige
%T Transformational programming - application to algorithms and systems
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 73-87

%A Daniel Leivant
%T Polymorphic type inference
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 88-98

%A Pierre Lescanne
%T Computer experiments with the REVE term rewriting system generator
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 99-108

%A Richard Keiburtz
%T Precise typing of abstract data type specifications
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 109-116

%A E.M. Clarke
%A E.A. Emerson
%A A.P. Sistla
%T Automatic verification of finite-state concurrent systems
using temporal logic specifications: a practical approach
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 117-126

%A E.A. Emerson
%A Joseph Y. Halpern
%T "sometimes" and "not never" revisited; on branching versus linear time
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 127-140

%A Z. Manna
%A A. Pnueli
%T How to cook a temporal proof system for your pet language
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 141-154

%A Daniel Leivant
%T Structural semantics for polymorphic data types
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 155-166

%A Barbara G. Ryder
%T Incremental data flow analysis
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 167-176

%A J. Allen
%A Ken Kennedy
%A Carrie Porterfield
%A J. Warren
%T Conversion of control dependence to data dependence
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 177-189

%A Mitchell Wand
%T Loops in combinator-based compilers
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 190-196

%A Janice E. Cuny
%A Lawrence Snyder
%T Compilation of data-driven programs for synchronous execution
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 197-202

%A Mark Wegman
%T Summarizing graphs by regular expressions
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 203-216

%A Jeanne Ferrante
%A Karl Ottenstein
%T A program form based on data dependency in predicate regions
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 217-236

%A B.W. Lampson
%A Eric Schmidt
%T Practical use of a polymorphic applicative language
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 237-255

%A Peter Wegner
%T On the unification of data and program abstraction in Ada
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 256-264

%A Lambert Meertens
%T Incremental polymorphic typechecking in B
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 265-275

%A Robert E. Strom
%T Mechanisms for compile-time enforcement of security
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 276-284

%A Bent Bruun Kristensen
%A Ole Lehrmann Madsen
%A Birger Moller-Pedersen
%A Kristen Nygaard
%T Abstraction mechanisms in the beta programming language
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 285-298

%A Naftaly H. Minsky
%T Locality in software systems
%J Conference Record of the Tenth ACM Symposium
on Principles of Programming Languages
%C Austin, Texas
%D January 1983
%K popl popl10
%P 299-312

%A Richard C. Waters
%T Expressional loops
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 1-10

%A Harold Ossher
%T Grids: a new program structuring mechanism based on layered graphs
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 11-22

%A Brian Cantwell Smith
%T Reflection and semantics in Lisp
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 23-35

%A Thomas Reps
%A Bowen Alpern
%T Interactive proof checking
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 36-45

%A Nissim Francez
%A Dexter Kozen
%T Generalized fair termination
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 46-53

%A D.E. Shasha
%A A. Pnueli
%A W. Ewald
%T Temporal verification of carrier-sense local area network protocols
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 54-65

%A Eugene W. Myers
%T Efficient applicative data types
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 66-75

%A Jean Jacques Thiel
%T Stop losing sleep over incomplete data type specifications
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 76-82

%A Jean-Pierre Jouannaud
%A Helene Kirchner
%T Completion of a set of rules modulo a set of equations
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 83-92

%A Ehud Shapiro
%T Systems programming in Concurrent Prolog
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 93-105

%A Robert G. Bandes
%T Constraining-unification and the programming language Unicorn
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 106-110

%A Cristoph M. Hoffmann
%A Michael J. O'Donnell
%T Implementation of an interpreter for abstract equations
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 11-120

%A Paul Hudak
%A David Kranz
%T A combinator-based compiler for a functional language
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 121-132

%A Jerald S. Schwartz
%A Dean Rubine
%T Treat - an applicative code generator
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 133-139

%A Reinhald Wilhelm
%T Inverse currying transformation on attribute grammars
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 140-147

%A Jean-Claude Raoult
%A Ravi Sethi
%T The global storage needs of a subcomputation
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 148-157

%A Mitchell Wand
%T A types-as-sets semantics for Milner-style polymorphism
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 158-164

%A David MacQueen
%A Gordon Plotkin
%A Ravi Sethi
%T An ideal model for recursive polymorphic types
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 165-174

%A John C. Mitchell
%T Coercion and type inference
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 175-185

%A Robert Nix
%T Editing by example
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 186-195

%A Don Milos
%A Uwe Pleban
%A George Loegel
%T Direct implementation of compiler-specifications
or the Pascal P-code revisited
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 196-207

%A Mark Sherman
%T Paragon: novel uses of type hierarchies for data abstraction
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 208-217

%A Steven D. Johnson
%T Applicative programming and digital design
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 218-227

%A P.A. Subrahmanyam
%A J.-H. You
%T Pattern driven lazy reduction:
a unifying evaluation mechanism for functional and logic programs
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 228-234

%A Prateek Mishra
%A Robert M. Keller
%T Static inference of properties of applicative programs
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 235-244

%A Joseph Y. Halpern
%A Albert R. Meyer
%A B.A. Traktehbrot
%T The semantics of local storage, or what makes the free-list free ?
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 245-257

%A Michael Grabowksi
%T On the relative completeness of programming logics
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 258-261

%A Joseph Y. Halpern
%T A good Hoare axiom system for an Algol-like language
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 262-271

%A Joe Warren
%T A hierarchical basis for reordering transformations
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 272-282

%A Thomas P. Murtagh
%T A less dynamic memory allocation scheme for Algol-like languages
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 283-289

%A Norihisa Suzuki
%A Minoru Terada
%T Creating efficient systems for object-oriented languages
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 290-296

%A L. Peter Deutsch
%T Efficient implementation of the Smalltalk-80 system
%J Conference Record of the Eleventh ACM Symposium
on Principles of Programming Languages
%C Salt Lake City, Utah
%D January 1984
%K popl popl11
%P 297-302

%A Mitchell Wand
%T Embedding type structure in semantics
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 1-6

%A Prateek Mishra
%A Uday S. Reddy
%T Declaration-free type checking
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 7-21

%A Robert Cartwright
%T Types as intervals
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 22-36

%A John C. Mitchell
%A Gordon D. Plotkin
%T Abstract types have existential types
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 37-51

%A Kokichi Futatsugi
%A Joseph A. Goguen
%A Jean-Pierre Jouannaud
%A Jose Meseguer
%T Principles of OBJ2
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 52-66

%A Donald Sannella
%A Andrzej Tarlecki
%T Program specification and development in standard ML
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 67-77

%A Leslie Lamport
%T What it means for a concurrent program to satisfy a specification:
why no one has specified priority
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 78-83

%A E. Allen Emerson
%A Chin-Laung Lei
%T Modalities for model checking: branching time strikes back
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 84-96

%A Orna Lichtanstein
%A Amir Pnueli
%T Checking that finite state concurrent programs
satisfy their linear specification
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 97-107

%A Joseph Y. Halpern
%A John H. Williams
%A Edward L. Wimmers
%A Timothy C. Winkler
%T Denotational semantics and rewrite rules for FP
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 108-120

%A Van Nguyen
%A David Gries
%A Susan Owicki
%T A model and temporal proof system for networks of processes
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 121-131

%A Daniel Leivant
%T Logical and mathematical reasoning about imperative programs
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 132-140

%A Gregory F. Johnson
%A C.N. Fischer
%T A meta-language and system for nonlocal incremental
attribute evaluation in language-based editors
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 141-151

%A Lori L. Pollock
%A Mary Lou Soffa
%T Incremental compilation of optimized code
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 152-164

%A Ray Ford
%A Duangkaew Sawamiphakdi
%T A greedy concurrent approach to incremental code generation
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 165-178

%A Jeanne Ferrante
%A Mary Mace
%T On linearizing parallel code
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 179-190

%A E.M. Clarke
%A M.J. Foster
%A B. Mishra
%T Compiling path expressions into VLSI circuits
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 191-204

%A Leslie Lamport
%A Fred B. Schneider
%T Declarations: a uniform approach to aliasing and typing
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 205-216

%A Cristopher W. Fraser
%A David R. Hanson
%T High-level facilities for low-level services
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 217-224

%A Michael B. Jones
%A Richard F. Rashid
%A Mary R. Thompson
%T Matchmaker: an interface specification language
for distributed processing
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 225-235

%A Walter F. Tichy
%A Mark C. Baker
%T Smart recompilation
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 236-244

%A Daniel P. Friedman
%A Cristopher T. Haynes
%T Constraining control
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 245-254

%A Julian Padget
%A John Fitch
%T Closurize and concentrate
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 255-265

%A Gary Lindstrom
%T Functional programming and the logical variable
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 266-280

%A Keith Cooper
%T Analyzing aliases of reference formal parameters
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 281-290

%A Mark Wegman
%A Frank Kenneth Zadeck
%T Constant propagation with conditional branches
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 291-299

%A Paul Hudak
%A Adrienne Bloss
%T The aggregate update problem in functional programming languages
(Avoiding copying in functional and logic programming languages)
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 300-314

%A Andrew W. Appel
%T Semantics-directed code generation
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 315-324

%A David Bernstein
%A Ron Y. Pinter
%A Michael Rodeh
%T Optimal scheduling of arithmetic operations
in parallel with memory access
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 325-333

%A Alfred V. Aho
%A Mahadevan Ganapathi
%T Efficient tree pattern matching: an aid to code generation
%J Conference Record of the Twelfth ACM Symposium
on Principles of Programming Languages
%C New Orleans, Louisiana
%D January 1985
%K popl popl12
%P 334-340

%A T. Reps
%A C. Marceau
%A T. Teitelbaum
%T Remore attribute updating for language-based editors
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A R. Hoover
%T Dynamically bypassing copy rule chains in attribute grammars
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A H. Sasaki
%A T. Katayama
%T Global storage allocation in attribute evaluation
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A M. Wand
%T Finding the source of type errors
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A J.A. Walz
%A G.F. Johnson
%T A maximum flow approach to anomaly isolation
in unification based incremental type inference
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A L.G. Jones
%A J. Simon
%T Hierarchical VLSI design systems based on attribute grammars
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A K. Zadeck
%A R. Cytron
%A A. Lowry
%T Code motion of control structures in high level languages
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A U. Jorring
%A W.L. Scherlis
%T Compilers and staging transformations
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A P. Hudak
%A J. Young
%T A set-theoretic characterization of function strictness
in the lambda calculus
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A P.J. Hatcher
%A T.W. Christopher
%T High-quality code generation via bottom-up tree pattern matching
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A M.C. Chen
%T A parallel language and its compilation
to multiprocessor machines or VLSI
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A R. Kurki-Suonio
%T Towards programming with knowledge expressions
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A B. Liskov
%A M. Herlihy
%A L. Gilbert
%T Limitations of synchronous communication
with static process structure in languages for distributed computing
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A I. Greif
%A R. Seliger
%A W. Weihl
%T Atomic data abstractions
in a distributed collaborative editing system
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A H. Barringer
%A R. Kuiper
%A A. Pnueli
%T A really abstract concurrent model andits temporal logic
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A J. You
%A P.A. Subrahmanyan
%T Equational logic programming: an extension to equational programming
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A H. Ait-Kaci
%A R. Nasr
%T Logic programming and inheritance
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A G. Snelting
%A W. Henhapl
%T Unification in many-sorted algebras
as a device for incremental semantic analysis
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A N. Carriero
%A D. Gelernter
%A J. Leichter
%T Distributed data structures in Linda
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A P. Hudak
%A L. Smith
%T Para-functional programming:
a paradigm for programming multiprocessor systems
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A R. Ramakrishnan
%A A. Silberschatz
%T Annotations for distributed programming in logic
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A J.C. Mitchell
%T Representation independence and data abstraction
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A D.B. MacQueen
%T Using dependent types to express modular structure:
experience with Pebble and ML
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A A.R. Meyer
%A M.B. Reinhold
%T 'Type' is not a type
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A N.D. Jones
%A A. Mycroft
%T Data flow analysis of applicative programs
using minimal function graphs
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A C. Huang
%A C. Lengauer
%T A mechanically certified theorem
about optimal concurrency of sorting networks
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A S. Jefferson
%A S. Kamin
%T Executable specifications with quantifiers in the FASE system
%J Conference Record of the Thirteenth ACM Symposium
on Principles of Programming Languages
%C St. Petersburg Beach, Florida
%D January 1986
%K popl popl13

%A Zohar Manna
%A Amir Pnueli
%T Specification and verification of concurrent programs by forall-automata
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 1-12

%A Maurice Herlihy
%A Jeannette M. Wing
%T Axioms for concurrent objects
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 13-26

%A Jennifer Widom
%A David Gries
%A Fred B. Schneider
%T Completeness and incompleteness of trace-based network proof systems
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 27-38

%A Pierre Jouvelot
%T Semantic parallelization: a practical exercise in abstract interpretation
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 39-48

%A Vijay A. Saraswat
%T The concurrent logic programming language CP:
definition and operational semantics
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 49-62

%A Randy Allen
%A David Callahan
%A Ken Kennedy
%T Automatic decomposition of scientific programs for parallel execution
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 63-76

%A Eugene Kohlbecker
%A Mitchell Wand
%T Macro-by-example:
deriving syntactic transformations from their specifications
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 77-84

%A Jiazhen Cai
%A Robert Paige
%T Binding performance at language design time
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 85-97

%A David Gelernter
%A Suresh Jagamnathan
%A Thomas London
%T Environments as first class objects
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 98-110

%A Joxan Jaffar
%A Jean-Louis Lassez
%T Constraint logic programming
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 111-119

%A Flemming Nielson
%T Strictness analysis and denotational abstract interpretation
(extended abstract)
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 120-131

%A Cordelia V. Hall
%A David S. Wise
%T Compiling strictness into streams
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 132-143

%A Tsung-Min Kuo
%A Prateek Mishra
%T On strictness and its analysis
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 144-155

%A M. Drew Moshier
%A William C. Rounds
%T A logic for partially specified data structures
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 156-167

%A David R. Chase
%T An improvement to bottom-up tree pattern matching
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 168-177

%A P. Caspi
%A D. Pilaud
%A N. Halbwachs
%A J.A. Plaice
%T LUSTRE: a declarative language for real-time programming
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 178-188

%A Krzysztof R. Apt
%A Nissim Francez
%A Shmuel Katz
%T Appraising fairness in languages for distributed programming
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 189-198

%A Eugene W. Stark
%T Concurrent transition system semantics of process networks
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 199-210

%A Frank J. Oles
%T Semantics for concurrency without powerdomains
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 211-222

%A C. Huizing
%A R. Gerth
%A W.P. de\ Roever
%T Full abstraction of a real-time denotational semantics
for an occam-like language
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 223-237

%A Val Brezau-Tannen
%A Albert R. Meyer
%T Computable values can be classical
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 238-245

%A Daniel Leivant
%A Tim Fernando
%T Skinny and fleshy failures of relative completeness
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 246-252

%A Albert R. Meyer
%A John C. Mitchell
%A Eugenio Moggi
%A Richard Statman
%T Empty types in polymorphic lambda calculus (preliminary report)
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 253-262

%A David Bernstein
%A Jeffrey M. Jaffe
%A Michael Rodeh
%T Scheduling arithmetic and load operations in parallel with no spilling
(extended abstract)
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 263-273

%A Anne Neirynck
%A Prakash Panangaden
%A Alan J. Demers
%T Computation of aliases and support sets
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 274-283

%A Peter Lee
%A Uwe F. Pleban
%T A realistic compiler generator based on high-level semantics
- another progress report
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 284-295
%K MESS

%A David R. Cheriton
%A Michael E. Wolf
%T Extensions for multi-module records in conventional programming languages
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 296-306

%A Philip Wadler
%T Views: a way for pattern matching to cohabit with data abstraction
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 307-313

%A Matthias Felleisen
%A Daniel P. Friedman
%T A calculus for assignments in higher-order languages
%J Conference Record of the Fourteenth ACM Symposium
on Principles of Programming Languages
%C Munich, West Germany
%D January 1987
%K popl popl14
%P 314-325