POPL articles

  please send corrections to preston at cs.rice.edu
  (thanks to Tony Sloane for his share of the typing.)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@string{popl1="Conference Record of the ACM Symposium on Principles of
                 Programming Languages"}
@string{popl2="Conference Record of the Second ACM Symposium on
                 Principles of Programming Languages"}
@string{popl3="Conference Record of the Third ACM Symposium on
                 Principles of Programming Languages"}
@string{popl4="Conference Record of the Fourth ACM Symposium on
                 Principles of Programming Languages"}
@string{popl5="Conference Record of the Fifth Annual ACM Symposium on
                 Principles of Programming Languages"}
@string{popl6="Conference Record of the Sixth Annual ACM Symposium on
                 Principles of Programming Languages"}
@string{popl7="Conference Record of the Seventh Annual ACM Symposium
                 on Principles of Programming Languages"}
@string{popl8="Conference Record of the Eighth Annual ACM Symposium on
                 Principles of Programming Languages"}
@string{popl9="Conference Record of the Ninth Annual ACM Symposium on
                 Principles of Programming Languages"}
@string{popl10="Conference Record of the Tenth Annual ACM Symposium on
                 Principles of Programming Languages"}
@string{popl11="Conference Record of the Eleventh Annual ACM Symposium
                 on Principles of Programming Languages"}
@string{popl12="Conference Record of the Twelfth Annual ACM Symposium
                 on Principles of Programming Languages"}
@string{popl13="Conference Record of the Thirteenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl14="Conference Record of the Fourteenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl15="Conference Record of the Fifteenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl16="Conference Record of the Sixteenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl17="Conference Record of the Seventeenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl18="Conference Record of the Eighteenth Annual ACM
                 Symposium on Principles of Programming Languages"}
@string{popl19="Conference Record of the Nineteenth Annual ACM
                 SIGPLAN-SIGACT Symposium on Principles of Programming
                 Languages"}
@string{popl20="Conference Record of the Twentieth Annual ACM
                 SIGPLAN-SIGACT Symposium on Principles of Programming
                 Languages"}
@string{popl21="Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT
                 Symposium on Principles of Programming Languages"}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{aho:73,
  title="Deterministic Parsing of Ambiguous Grammars",
  author="Alfred V. Aho and Steven C. Johnson and Jeffrey D. Ullman",
  pages="1--21",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{geller:73,
  title="Strict Deterministic Versus {LR(0)} Parsing",
  author="Matthew M. Geller and Michael A. Harrison",
  pages="22--32",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{schkolnik:73,
  title="Labelled Precedence Parsing",
  author="Mario Schkolnik",
  pages="33--40",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{pratt:73,
  title="Top Down Operator Precedence",
  author="Vaughan R. Pratt",
  pages="41--51",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{graham:73,
  title="Practical Syntactic Error Recovery",
  author="Susan L. Graham and Steven P. Rhodes",
  pages="52--58",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{zosel:73,
  title="A Parallel Approach to Compilation",
  author="Mary Zosel",
  pages="59--70",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{backus:73,
  title="Programming Language Semantics and Closed Applicative Languages",
  author="John Backus",
  pages="71--86",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{beech:73,
  title="On the Definitional Method of Standard {PL/1}",
  author="David Beech",
  pages="87--94",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{tennent:73,
  title="Mathematical Semantics of {Snobol~4}",
  author="R. D. Tennent",
  pages="95--107",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{nolin:73,
  title="Formalization of {Exel}",
  author="L. Nolin and G. Ruggiu",
  pages="108--119",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{morris:73a,
  title="Types are Not Sets",
  author="Morris, Jr., James H.",
  pages="120--124",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{lewis:73,
  title="Recursively Defined Data Types",
  author="Clayton H. Lewis and Barry K. Rosen",
  pages="125--138",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{fischer:73,
  title="Mode Modules as Representations of Domains",
  author="Alice E. Fischer and Michael J. Fischer",
  pages="139--143",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{morris:73b,
  title="Advice on Structuring Compilers and Proving Them Correct",
  author="F. Lockwood Morris",
  pages="144--152",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{hewitt:73,
  title="Actor Induction and Meta-Evaluation",
  author="Carl Hewitt and Peter Bishop and Irene Greif and Brian Smith
                 and Todd Matson and Richard Steiger",
  pages="153--168",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{waldinger:73,
  title="Reasoning About Programs",
  author="Richard J. Waldinger and Karl N. Levitt",
  pages="169--182",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{schettini:73,
  title="Procedure Linkage Optimization",
  author="A. Maggliolo-Schettini and Barry K. Rosen and H. R. Strong",
  pages="183--193",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{kildall:73,
  title="A Unified Approach to Global Program Optimization",
  author="Gary A. Kildall",
  pages="194--206",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{hecht:73,
  title="Analysis of a Simple Algorithm for Global Flow Problems",
  author="Matthew S. Hecht and Jeffrey D. Ullman",
  pages="207--217",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{rosenberg:73,
  title="Transitions in Extendible Arrays",
  author="Arnold L. Rosenberg",
  pages="218--225",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{lambert:73,
  title="Large Scale File Processing -- {Pogol}",
  author="Gloria J. Lambert",
  pages="226--234",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

@inproceedings{chandra:73,
  title="On the Decision Problems of Program Schemas with Commutative
                 and Invertable Functions",
  author="Ashok K. Chandra",
  pages="235--242",
  booktitle=popl1,
  address="Boston, Massachusetts",
  year=1973,
  month=oct
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{fong:75,
  title="Application of Lattice Algebra to Loop Optimization",
  author="Amelia C. Fong and John Kam and Jeffrey D. Ullman",
  pages="1--9",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{kennedy:75,
  title="Node Listings Applied to Data Flow Analysis",
  author="Ken Kennedy",
  pages="10--21",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{graham:75,
  title="A Fast and Usually Linear Algorithm for Global Flow Analysis",
  author="Susan L. Graham and Mark Wegman",
  pages="22--34",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{schwartz:75,
  title="Automatic Data Structure Choice in a Language of Very High Level",
  author="Jacob T. Schwartz",
  pages="36--40",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{ligler:75,
  title="A Mathematical Approach to Language Design",
  author="George T. Ligler",
  pages="41--53",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{gerhart:75,
  title="Correctness-Preserving Program Transformations",
  author="Susan L. Gerhart",
  pages="54--66",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{greif:75,
  title="Actor Semantics of {Planner-73}",
  author="Irene Greif and Carl Hewitt",
  pages="67--77",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{lipton:75,
  title="Reduction: A New Method of Proving Properties of Systems of
                 Processes",
  author="Richard J. Lipton",
  pages="78--86",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{cohen:75,
  title="A Semantic Model for Parallel Systems with Scheduling",
  author="Ellis S. Cohen",
  pages="87--94",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{lauer:75,
  title="A Description of Path Expressions by {Petri} Nets",
  author="P. E. Lauer and R. H. Campbell",
  pages="95--105",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{jones:75,
  title="Even Simple Programs are Hard to Analyze",
  author="Neil D. Jones and Steven S. Muchnick",
  pages="106--118",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{jazayeri:75,
  title="On the Complexity of the Circularity Test for Attribute Grammars",
  author="M. Jazayeri and W. F. Ogden and W. C. Rounds",
  pages="119--129",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{hunt:75,
  title="On the Complexity of {LR$(k)$} Testing",
  author="Harry B. Hunt~{III} and Thomas G. Szymanski and Jeffrey D. Ullman",
  pages="130--136",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{naur:75,
  title="Programming Languages, Natural Languages, and Mathematics",
  author="Peter Naur",
  pages="137--148",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{solomon:75,
  title="Modes, Values, and Expressions",
  author="Marvin Solomon",
  pages="149--159",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{cook:75,
  title="An Assertion Language for Data Structures",
  author="Stephen A. Cook and Derek C. Oppen",
  pages="160--166",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{stewart:75,
  title="An Algebraic Model for String Patterns",
  author="Glenn F. Stewart",
  pages="167--184",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{lester:75,
  title="Program Schemas with Concurrency: Execution Time and Hangups",
  author="Bruce P. Lester",
  pages="185--193",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{symes:75,
  title="New Control Structures to Aid Gotolessness",
  author="D. M. Symes",
  pages="194--203",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{goodenough:75,
  title="Structured Exception Handling",
  author="John B. Goodenough",
  pages="204--224",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{hall:75,
  title="An Algebra of Relations for Machine Computation",
  author="Patrick Hall and Peter Hitchcock and Stephen Todd",
  pages="225--232",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

@inproceedings{mikelsons:75,
  title="Computer Assisted Application Definition",
  author="Martin Mikelsons",
  pages="233--242",
  booktitle=popl2,
  address="Palo Alto, California",
  year=1975,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{leong:76,
  title="The Influence of Productions on Derivations and Parsing",
  author="Benton L. Leong and Detlef Wotschke",
  pages="1--11",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{hunt:76,
  title="A Complexity Theory of Grammar Problems",
  author="Hunt, III, Harry B.",
  pages="12--18",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{aho:76,
  title="Code Generation for Expressions with Common Subexpressions",
  author="Alfred V. Aho and Stephen C. Johnson and Jeffrey D. Ullman",
  pages="19--31",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{kennedy:76,
  title="Automatic Generation of Efficient Evaluators for Attribute Grammars",
  author="Ken Kennedy and Scott K. Warren",
  pages="32--49",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{ruth:76,
  title="Automatic Design of Data Processing Systems",
  author="Gregory R. Ruth",
  pages="50--57",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{low:76,
  title="Techniques for the Automatic Selection of Data Structures",
  author="James Low and Paul Rovner",
  pages="58--67",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{summers:76,
  title="A Methodology for {Lisp} Program Construction from Examples",
  author="Phillip D. Summers",
  pages="68--76",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{james:76,
  title="Binding Time Optimization in Programming Languages: Some
                 Thoughts Toward the Design of an Ideal Language",
  author="Neil D. Jones and Steven S. Muchnick",
  pages="77--94",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{henderson:76,
  title="A Lazy Evaluator",
  author="Peter Henderson and Morris, Jr., James H.",
  pages="95--103",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{fong:76,
  title="Induction Variables in Very High Level Languages",
  author="Amelia C. Fong and Jeffrey D. Ullman",
  pages="104--112",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{baker:76,
  title="An Algorithm for Structuring Programs",
  author="Brenda S. Baker",
  pages="113--126",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{lalonde:76,
  title="On Directly Constructing {LR$(k)$} Parsers Without
                 Chain Reductions",
  author="Wilf R. Lalonde",
  pages="127--133",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{franck:76,
  title="{PLAN2D} -- {Syntactic} Analysis of Precedence Graph
                 Grammars",
  author="Reinhold Franck",
  pages="134--139",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{loveman:76,
  title="Program Improvement by Source to Source Transformation",
  author="David B. Loveman",
  pages="140--152",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{wegbreit:76,
  title="Goal-Directed Program Transformation",
  author="Ben Wegbreit",
  pages="153--170",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{boyer:76,
  title="Primitive Recursive Program Transformations",
  author="R. S. Boyer and J. S. Moore and R. E. Shostak",
  pages="171--174",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{kosinki:76,
  title="Mathematical Semantics and Data Flow Programming",
  author="Paul R. Kosinski",
  pages="175--184",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{britton:76,
  title="Procedure Referencing Environments in {SL}5",
  author="Dianne E. Britton and Frederick C. Druseikis and Ralph E.
                 Griswold and David R. Hanson and Richard A. Holmes",
  pages="185--191",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{griffiths:76,
  title="Verifying Formal Specifications of Synchronous Processes",
  author="Patricia P. Griffiths and Charles J. Prenner",
  pages="192--208",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

@inproceedings{geller:76,
  title="Test Data as an Aid in Proving Program Correctness",
  author="Matthew Geller",
  pages="209--218",
  booktitle=popl3,
  address="Atlanta, Georgia",
  year=1976,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{cherniavsky:77,
  title="A Complete and Consistent {Hoare} Semantics for a Simple
                 Programming Language",
  author="John C. Cherniavsky and Samuel N. Kamin",
  pages="1--9",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{clarke:77,
  title="Programming Language Constructs for Which it is Impossible to
                 Obtain ``Good'' {Hoare}-Like Axiom Systems",
  author="Clarke, Jr., Edmund M.",
  pages="10--20",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{aho:77,
  title="Code Generation for Machines with Multiregister Operations",
  author="Alfred V. Aho and Stephen C. Johnson and Jeffrey D. Ullman",
  pages="21--28",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{harrison:77a,
  title="A New Strategy for Code Generation -- {The} General Purpose
                 Optimizing Compiler",
  author="William H. Harrison",
  pages="29--37",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{rosen:77,
  title="Applications of High-Level Control Flow",
  author="Barry K. Rosen",
  pages="38--47",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{fong:77,
  title="Generalized Common Subexpressions in Very High Level Languages",
  author="Amelia C. Fong",
  pages="48--57",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{paige:77,
  title="Reduction in Strength of High Level Operations",
  author="Robert Paige and Jacob T. Schwartz",
  pages="58--71",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{kennedy:77,
  title="Applications of Graph Grammar for Program Control Flow Analysis",
  author="Ken Kennedy and Linda Zucconi",
  pages="72--85",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{nijholt:77,
  title="On the Covering of Left Recursive Grammars",
  author="Anton Nijholt",
  pages="86--96",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{fischer:77,
  title="An Efficient Insertion-Only Error-Corrector for
                 {LL(1)} Parsers",
  author="Charles N. Fischer and D. R. Milton and S. B. Quiring",
  pages="97--103",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{reif:77,
  title="Symbolic Evaluation and the Global Value Graph",
  author="John H. Reif and Harry R. Lewis",
  pages="104--118",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{barth:77,
  title="An Interprocedural Data Flow Analysis Algorithm",
  author="Jeffrey M. Barth",
  pages="119--131",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{suzuki:77,
  title="Implementation of an Array Bound Checker",
  author="Norihisa Suzuki and Kiyoshi Ishihata",
  pages="132--143",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{dershowitz:77,
  title="The Evolution of Programs: A System for Automatic Program
                 Modification",
  author="Nachum Dershowitz and Zohar Manna",
  pages="144--154",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{doeppner:77,
  title="Parallel Program Correctness Through Refinement",
  author="Doeppner, Jr., Thomas W.",
  pages="155--169",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{demers:77,
  title="Generalized Left Corner Parsing",
  author="Alan J. Demers",
  pages="170--182",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{soininen:77,
  title="Elimination of Single Productions from {LR} Parsers in
                 Conjunction with the Use of Default Reductions",
  author="Eljas Soisalon-Soininen",
  pages="183--193",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{pratt:77,
  title="The Competence/Performance Dichotomy in Programming",
  author="Vaughan R. Pratt",
  pages="194--200",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{hehner:77,
  title="Structuring",
  author="Eric C. R. Hehner",
  pages="201--205",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{dimillo:77,
  title="Social Processes and Proofs of Theorems and Programs",
  author="Richard A. DeMillo and Richard J. Lipton and Alan J. Perlis",
  pages="206--214",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{berry:77,
  title="Minimal and Optimal Computations of Recursive Programs",
  author="G. Berry and J. J. Levy",
  pages="215--226",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{lang:77,
  title="Threshold Evaluation and the Semantics of Call by Value,
                 Assignment and Generic Procedures",
  author="Bernard Lang",
  pages="227--237",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{cousot:77,
  title="Abstract Interpretation: A Unified Lattice Model for Static
                 Analysis of Programs by Construction or Approximation
                 of Fixpoints",
  author="Patrick Cousot and Radhia Cousot",
  pages="238--252",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{lewis:77,
  title="The Equivalence Problem for Program Schemata with
                 Nonintersecting Loops",
  author="Harry R. Lewis",
  pages="253--266",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

@inproceedings{hewitt:77,
  title="Parallelism and Synchronization in {Actor} Systems",
  author="Carl Hewitt and Russell Atkinson",
  pages="267--280",
  booktitle=popl4,
  address="Los Angeles, California",
  year=1977,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{guibas:78,
  title="Compilation and Delayed Evaluation in {APL}",
  author="Leo J. Guibas and Douglas K. Wyatt",
  pages="1--8",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{ingalls:78,
  title="The {Smalltalk}-76 Programming System",
  author="Daniel Ingalls",
  pages="9--16",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{ashcroft:78,
  title="Clauses: Scope Structures and Defined Functions in {Lucid}",
  author="E. A. Ashcroft and W. W. Wadge",
  pages="17--22",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{demers:78,
  title="Data Types as Values: Polymorphism, Type-Checking, Encapsulation",
  author="Alan J. Demers and James E. Donahue and Glenn Skinner",
  pages="23--30",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{solomon:78,
  title="Type Definitions with Parameters",
  author="Marvin Solomon",
  pages="31--38",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{reynolds:78,
  title="Syntactic Control of Interference",
  author="John C. Reynolds",
  pages="39--46",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{rosen:78,
  title="Monoids for Rapid Data Flow Analysis",
  author="Barry K. Rosen",
  pages="47--59",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{kaplan:78,
  title="A General Scheme for the Automatic Inference of Variable Types",
  author="Marc A. Kaplan and Jeffrey D. Ullman",
  pages="60--75",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{reif:78,
  title="Symbolic Programming Analysis in Almost Linear Time",
  author="John H. Reif",
  pages="76--83",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{cousot:78,
  title="Automatic Discovery of Linear Restraints Among Variables of a
                 Program",
  author="Patrick Cousot and Nicholas Halbwachs",
  pages="84--96",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{johnson:78,
  title="A Portable Compiler: Theory and Practice",
  author="Stephen C. Johnson",
  pages="97--104",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{german:78,
  title="Automating Proofs of the Absence of Common Runtime Errors",
  author="Steven German",
  pages="105--118",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{gordon:78,
  title="A Metalanguage for Interactive Proof in {LCF}",
  author="M. Gordon and R. Milner and L. Morris and M. Newey and C. Wadsworth",
  pages="119--130",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{cartwright:78,
  title="Unrestricted Procedure Calls in {Hoare's} Logic",
  author="Robert Cartwright and Derek C. Oppen",
  pages="131--140",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{nelson:78,
  title="A Simplifier Based on Efficient Decision Algorithms",
  author="Charles G. Nelson and Derek C. Oppen",
  pages="141--150",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{oppen:78,
  title="Reasoning about Recursively Defined Data Structures",
  author="Derek C. Oppen",
  pages="151--157",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{downey:78,
  title="Off-Line and On-Line Algorithms for Deducing Equalities",
  author="Peter J. Downey and Hanan Samet and Ravi Sethi",
  pages="158--170",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{mizell:78,
  title="Verification and Design Aspects of ``True'' Concurrency",
  author="David W. Mizell",
  pages="171--175",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{culik:78,
  title="Almost Control-Free (Indeterministic) Parallel Computation on
                 Permit Schemes",
  author="Karel Culik",
  pages="176--184",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{ogden:78,
  title="Complexity of Expressions Allowing Concurrency",
  author="William F. Ogden and William E. Riddle and William C. Rounds",
  pages="185--194",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{haraldsson:78,
  title="A Partial Evaluator and Its Use for Compiling Iterative
                 Statements in {Lisp}",
  author="Anders Haraldsson",
  pages="195--202",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{harel:78,
  title="Nondeterminism in Logics of Programs",
  author="David Harel and Vaughan R. Pratt",
  pages="203--213",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{kosinski:78,
  title="A Straightforward Denotational Semantics for Non-Determinant
                 Data Flow Programs",
  author="Paul R. Kosinki",
  pages="214--221",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{prabhala:78,
  title="Efficient Computation of Expressions with Common Subexpressions",
  author="Bhaskaram Prabhala and Ravi Sethi",
  pages="222--230",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{glanville:78,
  title="A New Method for Compiler Code Generation",
  author="R. Steven Glanville and Susan L. Graham",
  pages="231--240",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{pennello:78,
  title="A Forward Move Algorithm for {LR} Error Recovery",
  author="Thomas J. Pennello and Frank DeRemer",
  pages="241--254",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

@inproceedings{joshi:78,
  title="Local Constraints in the Syntax and Semantics of Programming
                 Languages",
  author="Aravind K. Joshi and Leon S. Levy and Kang Yueh",
  pages="255--264",
  booktitle=popl5,
  address="Tucson, Arizona",
  year=1978,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{fraser:79,
  title="A Compact, Machine-Independent Peephole Optimizer",
  author="Christopher W. Fraser",
  pages="1--6",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{constable:79b,
  title="A {PL/CV} Precis",
  author="Robert L. Constable and Scott Johnson",
  pages="7--20",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{fong:79,
  title="Automatic Improvement of Programs in Very High Level Languages",
  author="Amelia C. Fong",
  pages="21--28",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{banning:79,
  title="An Efficient Way to Find Side Effects of Procedure Calls and
                 Aliases of Variables",
  author="John Banning",
  pages="29--41",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{good:79,
  title="Principles of Proving Programs Correct in {Gypsy}",
  author="Donald I. Good and Richard M. Cohen",
  pages="42--52",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{lee:79,
  title="The Evolution of List-Copying Algorithms",
  author="Stanley Lee and Susan L. Gerhart and Willem P. deRoever",
  pages="53--67",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{cartwright:79,
  title="First Order Programming Logic",
  author="Robert Cartwright and John McCarthy",
  pages="68--80",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{harel:79,
  title="Recursion in Logics of Programs",
  author="David Harel",
  pages="81--92",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{pratt:79,
  title="Process Logic",
  author="Vaughan R. Pratt",
  pages="93--100",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{casanova:79,
  title="The Logic of a Relational Data Manipulation Language",
  author="Marco A. Casanove and Philip A. Bernstein",
  pages="101--109",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{aho:79,
  title="The Universality of Data Retrieval Languages",
  author="Alfred V. Aho and Jeffrey D. Ullman",
  pages="110--120",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{cohen:79a,
  title="Automatic Generation of Near-Optimal Translators for
                 Noncircular Attribute Grammars",
  author="Rina Cohen and E. Harry",
  pages="121--134",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{savage:79,
  title="Space-Time Tradeoffs for Linear Recursion",
  author="J. E. Savage and Sowmitri Swami",
  pages="135--142",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{cohen:79b,
  title="Characterization and Elimination of Redundancy in Recursive Programs",
  author="Norman H. Cohen",
  pages="143--157",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{critcher:79,
  title="The Functional Power of Parameter Passage Mechanisms",
  author="Adrienne Critcher",
  pages="158--168",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{hoffman:79,
  title="Interpreter Generation Using Tree Pattern Matching",
  author="Christoph M. Hoffman and Michael J. O'Donnell",
  pages="169--179",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{greif:79,
  title="Specifying Programming Language Semantics",
  author="Irene Greif and Albert Meyer",
  pages="180--189",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{gull:79,
  title="Decisions for ``{Type}'' in {APL}",
  author="W. E. Gull and M. A. Jenkins",
  pages="190--196",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{schonberg:79,
  title="Automatic Data Structure Selection in {SETL}",
  author="Edmond Schonberg and Jacob T. Schwartz and Micha Sharir",
  pages="197--210",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{clarke:79,
  title="Synthesis of Resource Invariants for Concurrent Programs",
  author="Clarke, Jr., Edmund M.",
  pages="211--221",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{liu:79,
  title="String Pattern Matching in Polynomial Time",
  author="Ken C. Liu and Arthur C. Fleck",
  pages="222--225",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{andler:79,
  title="Predicate Path Expressions",
  author="Sten Andler",
  pages="226--236",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{miller:79,
  title="Type Checking in an Imperfect World",
  author="Terrence C. Miller",
  pages="237--243",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{jones:79,
  title="Flow Analysis and Optimization of {Lisp}-Like Structures",
  author="Neil D. Jones and Steven S. Muchnick",
  pages="244--256",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{reif:79,
  title="Data Flow Analysis of Communicating Processes",
  author="John H. Reif",
  pages="257--268",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{cousot:79,
  title="Systematic Design of Program Analysis Frameworks",
  author="Patrick Cousot and Radhia Cousot",
  pages="269--282",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

@inproceedings{reitman:79,
  title="Certifying Information Flow Properties of Programs: An
                 Axiomatic Approach",
  author="Richard P. Reitman and Gregory R. Andrews",
  pages="283--290",
  booktitle=popl6,
  address="San Antonio, Texas",
  year=1979,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{suzuki:80,
  title="Analysis of Pointer Rotation",
  author="Norihisa Suzuki",
  pages="1--11",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{demers:80a,
  title="Data Types, Parameters, and Type Checking",
  author="Alan J. Demers and James E. Donahue",
  pages="12--23",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{reid:80,
  title="A High-Level Approach to Computer Document Formatting",
  author="Brian K. Reid",
  pages="24--31",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{morris:80,
  title="Experience with an Applicative String Processing Language",
  author="Morris, Jr., James H. and Eric Schmidt and Philip Wadler",
  pages="32--46",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{klint:80,
  title="An Overview of the {Summer} Programming Language",
  author="Paul Klint",
  pages="47--55",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{kfoury:80,
  title="Analysis of Simple Programs Over Different Sets of Primitives",
  author="A. J. Kfoury",
  pages="56--61",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{manna:80b,
  title="Synchronous Schemes and Their Decision Problems",
  author="Zohar Manna and Amir Pnueli",
  pages="62--67",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{holley:80,
  title="Qualified Data Flow Problems",
  author="L. Howard Holley and Barry K. Rosen",
  pages="68--82",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{weihl:80,
  title="Interprocedural Data Flow Analysis in the Presence of
                 Pointers, Procedure Variables and Label Variables",
  author="William E. Weihl",
  pages="83--94",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{tarjan:80,
  title="Prime Subprogram Parsing of a Program",
  author="Robert E. Tarjan",
  pages="95--105",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{pratt:80,
  title="On Specifying Verifiers",
  author="Vaughan R. Pratt",
  pages="106--116",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{sethi:80,
  title="A Case Study in Specifying the Semantics of a Programming Language",
  author="Ravi Sethi",
  pages="117--130",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{kamin:80,
  title="Final Data Tye Specifications: A New Data Type Specification Method",
  author="Samuel Kamin",
  pages="131--138",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{kapur:80,
  title="Expressiveness of the Operation Set of a Data Abstraction",
  author="Deepak Kapur and Srivas Mandayam",
  pages="139--153",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{musser:80,
  title="On Proving Inductive Properties of Abstract Data Types",
  author="David R. Musser",
  pages="154--162",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{gabbay:80,
  title="On the Temporal Basis of Fairness",
  author="Dov Gabbay and Amir Pnueli and Saharon Shelah and Jonathan Stavi",
  pages="163--173",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{lamport:80,
  title="``{Sometime}'' is Sometimes ``{Not} Never'' -- {On} the
                 Temporal Logic of Programs",
  author="Leslie Lamport",
  pages="174--185",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{parikh:80,
  title="Propositional Logics of Programs: Systems, Models, and Complexity",
  author="Rohit Parikh",
  pages="186--192",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{reif:80,
  title="A Dynamic Logic of Multiprocessing with Incomplete Information",
  author="John H. Reif and Gary L. Peterson",
  pages="193--202",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{meyer:80,
  title="Axiomatic Definitions of Programming Languages: A Theoretical
                 Assessment",
  author="Albert R. Meyer and Joseph Y. Halpern",
  pages="203--212",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{hunt:80,
  title="Efficient Algorithms for Structural Similarity of Grammars",
  author="Hunt, III, H. B. and D. J. Rosenkrantz",
  pages="213--219",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{budd:80,
  title="Theoretical and Emperical Studies on Using Program Mutation
                 to Test the Functional Correctness of Programs",
  author="Timothy A. Budd and Richard A. Demillo and Richard J. Lipton
                 and Frederick G. Sayward",
  pages="220--233",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{demers:80b,
  title="``{Type}-Completeness'' as a Language Design Principle",
  author="Alan J. Demers and James E. Donahue",
  pages="234--244",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{friedman:80,
  title="An Indeterminate Constructor for Applicative Programming",
  author="Daniel P. Friedman and David S. Wise",
  pages="245--250",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

@inproceedings{guttag:80,
  title="Formal Specification as a Design Tool",
  author="John Guttag and J. J. Horning",
  pages="251--261",
  booktitle=popl7,
  address="Las Vegas, Nevada",
  year=1980,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{lowney:81,
  title="Carrier Arrays: An Idiom-Preserving Extension to {APL}",
  author="P. Geoffrey Lowney",
  pages="1--13",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{cartwright:81a,
  title="Paths: An Abstract Alternative to Pointers",
  author="Robert Cartwright and Robert Hood and Philip Mathews",
  pages="14--27",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{ramanathan:81,
  title="Modeling of Problem Domains for Driving Program Development Systems",
  author="J. Ramanathan and C. J. Shubra",
  pages="28--40",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{scherlis:81,
  title="Program Improvement by Internal Specialization",
  author="William L. Scherlis",
  pages="41--49",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{chandra:81,
  title="Programming Primitives for Database Languages",
  author="Ashok K. Chandra",
  pages="50--62",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{condry:81,
  title="Paging as a ``Language Processing'' Task",
  author="Michael W. Condry",
  pages="63--76",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{owicki:81,
  title="Making the World Safe for Garbage Collection",
  author="Susan Owicki",
  pages="77--86",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{harrison:81,
  title="Position Paper on Optimizing Compilers",
  author="William H. Harrison",
  pages="88--89",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{johnson:81,
  title="Position Paper on Optimizing Compilers",
  author="Stephen C. Johnson",
  pages="90--91",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{alberga:81,
  title="A Program Development Tool",
  author="C. N. Alberga and A. L. Brown and Leeman, Jr., G. B. and M.
                 Mikelsons and M. N. Wegman",
  pages="92--104",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{demers:81,
  title="Incremental Evaluation for Attribute Grammars with
                 Application to Syntax-Directed Editors",
  author="Alan J. Demers and Thomas Reps and Tim Teitelbaum",
  pages="105--116",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{rosen:81,
  title="Linear Cost is Sometimes Quadratic",
  author="Barry K. Rosen",
  pages="117--124",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{cartwright:81b,
  title="Formal Program Testing",
  author="Robert Cartwright",
  pages="125--132",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{lehmann:81,
  title="On the Advantages of Free Choice: A Symmetric and Fully
                 Distributed Solution to the Dining Philosophers Problem",
  author="Daniel Lehmann and Michael O. Rabin",
  pages="133--138",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{halpern:81,
  title="Axiomatic Definitions of Programming Languages, {II}",
  author="Joseph Y. Halpern and Albert R. Meyer",
  pages="139--148",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{polak:81,
  title="Program Verification Based on Denotational Semantics",
  author="Wolfgang Polak",
  pages="149--158",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{pratt:81,
  title="Program Logic Without Binding is Decidable",
  author="Vaughan R. Pratt",
  pages="159--163",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{ari:81,
  title="The Temporal Logic of Branching Time",
  author="Mordechai Ben-Ari and Zohar Manna and Amir Pnueli",
  pages="164--176",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{katayama:81,
  title="Verification of Attribute Grammars",
  author="Takuya Katayama and Yutaka Hoshino",
  pages="177--186",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{suzuki:81,
  title="Inferring Types in {Smalltalk}",
  author="Norihisa Suzuki",
  pages="187--199",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{hennessy:81,
  title="Program Optimization and Exception Handling",
  author="John L. Hennessy",
  pages="200--206",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{kuck:81,
  title="Dependence Graphs and Compiler Optimizations",
  author="D. J. Kuck and R. H. Kuhn and D. A. Padua and B. Leasure and
                 M. Wolfe",
  pages="207--218",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

@inproceedings{myers:81,
  title="A Precise Interprocedural Data Flow Algorithm",
  author="Eugene W. Myers",
  pages="219--230",
  booktitle=popl8,
  address="Williamsburg, Virginia",
  year=1981,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{hart:82,
  title="Termination of Probabilistic Concurrent Programs",
  author="Sergiu Hart and Micha Sharir and Amir Pnueli",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="1--6"
}

@inproceedings{liskov:82,
  title="Guardians and Actions: Linguistic Support for Robust,
         Distributed Programs",
  author="Barbara Liskov and Robert Scheifler",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="7--19"
}

@inproceedings{wolper:82,
  title="Specification and Synthesis of Communicating Processes
         using an Extended Temporal Logic",
  author="Pierre Wolper",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="20--33"
}

@inproceedings{wall:82,
  title="Messages as Active Agents",
  author="David W. Wall",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="34--39"
}

@inproceedings{francez:82,
  title="Extended Naming Conventions for Communicating Processes",
  author="Nissim Francez",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="40--45"
}

@inproceedings{reif:82,
  title="Unbounded Speed Variability in Distributed Communication Systems",
  author="John H. Reif and Paul Spirakis",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="46--56"
}

@inproceedings{lipton:82,
  title="Programming Aspects of {VLSI}",
  author="Richard J. Lipton and Robert Sedgewick and Jacobo Veldes",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="57--65"
}

@inproceedings{jones:82b,
  title="A Flexible Approach to Interprocedural Data Flow Analysis
         and Programs with Recursive Data Structures",
  author="Neil D. Jones and Steven S. Muchnick",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="66--74"
}

@inproceedings{giegerich:82,
  title="Automatic Generation of Machine Specific Code Optimizers",
  author="Robert Giegerich",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="75--81"
}

@inproceedings{ramanath:82,
  title="Optimal Code for Control Structures",
  author="M. V. S. Ramanath and Marvin Solomon",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="82--94"
}

@inproceedings{farrow:82b,
  title="Experience with an Attribute Grammar-Based Compiler",
  author="Rodney Farrow",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="95--107"
}

@inproceedings{ganapathi:82,
  title="Description-Driven Code Generation using Attribute Grammars",
  author="Mahadevan Ganapathi and Charles N. Fischer",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="108--119"
}

@inproceedings{hennessy:82b,
  title="Code Generation and Reorganization in the Presence of
         Pipeline Constraints",
  author="John L. Hennessy and Thomas R. Gross",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="120--127"
}

@inproceedings{davidson:82,
  title="Eliminating Redundant Object Code",
  author="Jack W. Davidson and Christopher W. Fraser",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="128--132"
}

@inproceedings{borning:82,
  title="A Type Declaration and Inference System for {Smalltalk}",
  author="Alan H. Borning and Daniel H. H. Ingalls",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="133--141"
}

@inproceedings{sandberg:82,
  title="Lithe: A Language Combining a Flexible Syntax and Classes",
  author="David Sandberg",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="142--145"
}

@inproceedings{sandewall:82,
  title="Unified Dialogue Management in the {Carousel} System",
  author="Erik Sandewall",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="146--156"
}

@inproceedings{voda:82,
  title="Maple: a Programming Language and Operating System",
  author="P. J. Voda",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="157--168"
}

@inproceedings{reps:82,
  title="Optimal-Time Incremental Semantic Analysis for Syntax-Directed
         Editors",
  author="Thomas Reps",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="169--176"
}

@inproceedings{sippu:82,
  title="Practical Error Recovery in {LR} Parsing",
  author="Seppo Sippi and Eljas Soisalon-Soininen",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="177--184"
}

@inproceedings{johnson:82b,
  title="Non-Syntactic Attribute Flow in Language Based Editors",
  author="Gregory F. Johnson and Charles N. Fischer",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="185--195"
}

@inproceedings{jalili:82,
  title="Building Friendly Parsers",
  author="Fahimeh Jalili and Jean H. Gallier",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="196--206"
}

@inproceedings{damas:82,
  title="Principal Type-Schemes for Functional Programs",
  author="Luis Damas and Robin Milner",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="207--212"
}

@inproceedings{pratt:82b,
  title="On the Composition of Processes",
  author="Vaughan R. Pratt",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="213--223"
}

@inproceedings{paulson:82,
  title="A Semantics-Directed Compiler Generator",
  author="Lawrence Paulson",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="224--233"
}

@inproceedings{wand:82b,
  title="Semantics-Directed Machine Architecture",
  author="Mitchell Wand",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="234--241"
}

@inproceedings{henson:82,
  title="Completion Semantics and Interpreter Generation",
  author="Martin C. Henson",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="242--254"
}

@inproceedings{komorowski:82,
  title="Partial Evaluation as a Means for Inferencing Data Structures
         in an Applicative Language: A Theory and Implementation in the
         Case of {Prolog}",
  author="H. Jan Komorowski",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="255--267"
}

@inproceedings{boehm:82,
  title="A Logic for Expressions with Side-Effects",
  author="Hans-J. Boehm",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="268--280"
}

@inproceedings{yemini:82,
  title="An Axiomatic Treatment of Exception Handling",
  author="Shaula Yemeni",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="281--288"
}

@inproceedings{gansner:82,
  title="Semantics and Correctness of a Query Language Translation",
  author="E. Gansner and J. R. Horgan and C. M. R. Kintala and D. J.
                 Moore and P. Surko",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="289--298"
}

@inproceedings{shapiro:82,
  title="Algorithmic Program Diagnosis",
  author="Ehud Y. Shapiro",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="299--308"
}

@inproceedings{clarke:82,
  title="On Effective Axiomatizations of {Hoare} Logics",
  author="Clarke, Jr., Edmund M. and Steven M. German and Joseph Y. Halpern",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="309--321"
}

@inproceedings{hailpern:82,
  title="Modular Verification of Concurrent Programs",
  author="Brent Hailpern and Susan Owicki",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="322--336"
}

@inproceedings{meyer:82,
  title="Axiomatic Definability and Completeness for Recursive Programs",
  author="Albert R. Meyer and John C. Mitchell",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="337--346"
}

@inproceedings{sherman:82,
  title="Is the Interesting Part of Process Logic Uninteresting?:
         A Translation from {PL} to {PDL}",
  author="R. Sherman and Amir Pnueli and David Harel",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="347--360"
}

@inproceedings{cooper:82,
  title="On the Expressive Power of Query Languages for Relational
         Databases",
  author="Eric C. Cooper",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="361--365"
}

@inproceedings{critcher:82,
  title="On the Ability of Structures to Store and Access Information",
  author="Adrienne Critcher",
  booktitle=popl9,
  address="Albequerque, New Mexico",
  year=1982,
  month=jan,
  pages="366--378"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{pratt:83,
  title="Five Paradigm Shifts in Language Design and their Realization
                 in {Viron}, a Dataflow Programming Environment",
  author="Vaughan R. Pratt",
  pages="1--9",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{bonar:83,
  title="Uncovering Principles of Novice Programming",
  author="Jeffrey Bonar and Elliot Soloway",
  pages="10--13",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{johnson:83,
  title="Code Generation for Silicon",
  author="Stephen C. Johnson",
  pages="14--19",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{back:83,
  title="Derivation of Efficient {DAG} Marking Algorithms",
  author="R. J. R. Back and Heikki Mannila and Kari-Jouko {R\"aih\"a}",
  pages="20--27",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{lamport:83b,
  title="Reasoning About Nonatomic Operations",
  author="Leslie Lamport",
  pages="28--37",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{nelson:83,
  title="Verifying Reachability Invariants of Linked Structures",
  author="Greg Nelson",
  pages="38--47",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{nagle:83,
  title="Practical Program Verification: Automatic Program Proving for
                 Real-Time Embedded Software",
  author="John Nagle and Scott Johnson",
  pages="48--58",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{demers:83,
  title="Making Variables Abstract: An Equational Theory for {Russell}",
  author="Alan J. Demers and James E. Donahue",
  pages="59--72",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{paige:83,
  title="Transformational Programming -- Applications to Algorithms
                 and Systems",
  author="Robert Paige",
  pages="73--87",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{leivant:83a,
  title="Polymorphic Type Inference",
  author="Daniel Leivant",
  pages="88--98",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{lescanne:83,
  title="Computer Experiments with the {Reve} Term Rewriting System Generator",
  author="Pierre Lescanne",
  pages="99--108",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{kieburtz:83b,
  title="Precise Typing of Abstract Data Type Specifications",
  author="Richard B. Kieburtz",
  pages="109--116",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{clarke:83,
  title="Automatic Verification of Finite State Concurrent Systems
                 Using Temporal Logic Specifications: A Practical Approach",
  author="Clarke, Jr., Edmund M. and E. Allen Emerson and A. P. Sistla",
  pages="117--126",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{emerson:83,
  title="``{Sometimes}'' and ``Not Never'' Revisited: On Branching
                 Versus Linear Time",
  author="E. Allen Emerson and Joseph Y. Halpern",
  pages="127--140",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{manna:83,
  title="How to Cook a Temporal Proof System for Your Pet Language",
  author="Zohar Manna and Amir Pnueli",
  pages="141--154",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{leivant:83b,
  title="Structural Semantics for Polymorphic Data Types",
  author="Daniel Leivant",
  pages="155--166",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{ryder:83,
  title="Incremental Data Flow Analysis",
  author="Barbara G. Ryder",
  pages="167--176",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{allen:83,
  title="Conversion of Control Dependence to Data Dependence",
  author="J. R. Allen and Ken Kennedy and Carrie Porterfield and Joe Warren",
  pages="177--189",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{wand:83,
  title="Loops in Combinator-Based Compilers",
  author="Mitchell Wand",
  pages="190--196",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{cuny:83,
  title="Compilation of Data-Driven Programs for Synchronous Execution",
  author="Janice E. Cuny and Lawrence Snyder",
  pages="197--202",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{wegman:83,
  title="Summarizing Graphs by Regular Expressions",
  author="Mark Wegman",
  pages="203--216",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{ferrante:83,
  title="A Program Form Based on Data Dependency in Predicate Regions",
  author="Jeanne Ferrante and Karl J. Ottenstein",
  pages="217--236",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{lampson:83,
  title="Practical Use of a Polymorphic Applicative Language",
  author="Butler W. Lampson and Eric E. Schmidt",
  pages="237--255",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{wegner:83,
  title="On the Unification of Data and Program Abstraction in {Ada}",
  author="Peter Wegner",
  pages="256--264",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{meertens:83,
  title="Incremental Polymorphic Type Checking in {B}",
  author="Lambert Meertens",
  pages="265--275",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{strom:83,
  title="Mechanisms for Compile-Time Enforcement of Security",
  author="Robert E. Strom",
  pages="276--284",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{kristensen:83,
  title="Abstraction Mechanisms in the {Beta} Programming Language",
  author="Bent Bruun Kristensen and Ole Lehrmann Madsen and Birger
                 {M{\o}ller}-Pederson and Krysten Nygaard",
  pages="285--298",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

@inproceedings{minsky:83,
  title="Locality in Software Systems",
  author="Naftaly H. Minsky",
  pages="299--312",
  booktitle=popl10,
  address="Austin, Texas",
  year=1983,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{waters:84,
  title="Expressional Loops",
  author="Richard C. Waters",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="1--10"
}

@inproceedings{ossher:84,
  title="Grids: A New Program Structuring Mechanism Based on Layered Graphs",
  author="Harold L. Ossher",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="11--22"
}

@inproceedings{smith:84,
  title="Reflection and Semantics in {Lisp}",
  author="Brian Cantwell Smith",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="23--35"
}

@inproceedings{reps:84,
  title="Interactive Proof Checking",
  author="Thomas Reps and Bowen Alpern",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="36--45"
}

@inproceedings{francez:84,
  title="Generalized Fair Termination",
  author="Nissim Francez and Dexter Kozen",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="46--53"
}

@inproceedings{shasha:84,
  title="Temporal Verification of Carrier-Sense Local Area Network Protocols",
  author="D. E. Shasha and A. Pnueli and W. Ewald",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="54--65"
}

@inproceedings{myers:84,
  title="Efficient Applicative Data Types",
  author="Eugene W. Myers",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="66--75"
}

@inproceedings{thiel:84,
  title="Stop Losing Sleep Over Incomplete Data Type Specifications",
  author="Jean Jacques Thiel",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="76--82"
}

@inproceedings{jouannaud:84,
  title="Completion of a Set of Rules Modulo a Set of Equations",
  author="Jean-Pierre Jouannaud and Helene Kirchner",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="83--92"
}

@inproceedings{shapiro:84,
  title="Systems Programming in {Concurrent Prolog}",
  author="Ehud Y. Shapiro",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="93--105"
}

@inproceedings{bandes:84,
  title="Constraining-Unification and the Programming Language {Unicorn}",
  author="Robert G. Bandes",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="106--110"
}

@inproceedings{hoffmann:84,
  title="Implementation of an Interpreter for Abstract Equations",
  author="Christoph M. Hoffmann and Michael J. O'Donnell",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="111--121"
}

@inproceedings{hudak:84,
  title="A Combinator-Based Compiler for a Functional Language",
  author="Paul Hudak and David Kranz",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="122--132"
}

@inproceedings{schwarz:84,
  title="Treat -- {An} Applicative Code Generator",
  author="Jerald S. Schwarz and Dean Rubine",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="133--139"
}

@inproceedings{wilhelm:84,
  title="Inverse Currying Transformation on Attribute Grammars",
  author="Reinhard Wilhelm",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="140--147"
}

@inproceedings{raoult:84,
  title="The Global Storage Needs of a Subcomputation",
  author="Jean-Claude Raoult and Ravi Sethi",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="148--157"
}

@inproceedings{wand:84b,
  title="A Types-as-Sets Semantics for {Milner}-Style Polymorphism",
  author="Mitchell Wand",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="158--164"
}

@inproceedings{macqueen:84,
  title="An Ideal Model for Recursive Polymorphic Types",
  author="David MacQueen and Gordon Plotkin and Ravi Sethi",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="165--174"
}

@inproceedings{mitchell:84,
  title="Coercion and Type Inference",
  author="John C. Mitchell",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="175--185"
}

@inproceedings{nix:84,
  title="Editing by Example",
  author="Robert Nix",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="186--195"
}

@inproceedings{milos:84,
  title="Direct Implementation of Compiler Specifications or the {Pascal
         P-code} Compiler Revisited",
  author="Don Milos and Uwe Pleban and George Loegel",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="196--207"
}

@inproceedings{sherman:84,
  title="Paragon: Novel Uses of Type Hierarchies for Data Abstraction",
  author="Mark Sherman",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="208--217"
}

@inproceedings{johnson:84,
  title="Applicative Programming and Digital Design",
  author="Steven D. Johnson",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="218--227"
}

@inproceedings{subrahmanyam:84,
  title="Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism
         for Functional and Logic Programs",
  author="P. A. Subrahmanyam and J-H. You",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="228--234"
}

@inproceedings{mishra:84,
  title="Static Inference of Properties of Applicative Programs",
  author="Prateek Mishra and Robert M. Keller",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="235--244"
}

@inproceedings{halpern:84a,
  title="The Semantics of Local Storage, or What Makes the Free-List Free?",
  author="Joseph Y. Halpern and Albert R. Meyer and B. A. Trakhtenbrot",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="245--257"
}

@inproceedings{grabowski:84,
  title="On Relative Completeness of Programming Logics",
  author="Michal Grabowski",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="258--261"
}

@inproceedings{halpern:84b,
  title="A Good {Hoare} Axiom System for an {Algol}-like Language",
  author="Joseph Y. Halpern",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="262--271"
}

@inproceedings{warren:84,
  title="A Hierarchical Basis for Reordering Transformations",
  author="Joe Warren",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="272--282"
}

@inproceedings{murtagh:84,
  title="A Less Dynamic Memory Allocation Scheme for {Algol}-like Languages",
  author="Thomas P. Murtagh",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="283--289"
}

@inproceedings{suzuki:84,
  title="Creating Efficient Systems for Object-Oriented Languages",
  author="Norihisa Suzuki and Minoru Terada",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="290--296"
}

@inproceedings{deutsch:84,
  title="Efficient Implementation of the {Smalltalk-80} System",
  author="L. Peter Deutsch and Allan M. Schiffman",
  booktitle=popl11,
  address="Salt Lake City, Utah",
  year=1984,
  month=jan,
  pages="297--302"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{wand:85,
  title="Embedding Type Structure in Semantics",
  author="Mitchell Wand",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="1--6"
}

@inproceedings{mishra:85,
  title="Declaration-Free Type Checking",
  author="Prateek Mishra and Uday S. Reddy",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="7--21"
}

@inproceedings{cartwright:85,
  title="Types as Intervals",
  author="Robert Cartwright",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="22--36"
}

@inproceedings{mitchell:85,
  title="Abstract Types Have Existential Type",
  author="John G. Mitchell and Gordon D. Plotkin",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="37--51"
}

@inproceedings{futatsugi:85,
  title="Principles of {OBJ2}",
  author="Kokichi Futatsugi and Joseph A. Goguen and Jean-Pierre Jouannaud
          and Jos\'e Meseguer",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="52--66"
}

@inproceedings{sannella:85,
  title="Program Specification and Development in {Standard ML}",
  author="Donald Sannella and Andrzej Tarlecki",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="67--77"
}

@inproceedings{lamport:85a,
  title="What It Means for a Concurrent Program to Satisfy a Specification:
         Why No One Has Specified Priority",
  author="Leslie Lamport",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="78--83"
}

@inproceedings{emerson:85,
  title="Modalities for Model Checking: Branching Time Strikes Back",
  author="E. Allen Emerson and Chin-Laung Lei",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="84--96"
}

@inproceedings{lichtenstein:85,
  title="Checking That Finite State Concurrent Programs Satisfy Their
         Linear Specification",
  author="Orna Lichtenstein and Amir Pnueli",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="97--107"
}

@inproceedings{halpern:85,
  title="Denotational Semantics and Rewrite Rules for {FP}",
  author="Joseph Y. Halpern and John H. Williams and Edward L. Wimmers
          and Timothy C. Winkler",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="108--120"
}

@inproceedings{nguyen:85,
  title="A Model and Temporal Proof System for Networks of Processes",
  author="Van Nguyen and David Gries and Susan Owicki",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="121--131"
}

@inproceedings{leivant:85,
  title="Logical and Mathematical Reasoning about Imperative Programs",
  author="Daniel Leivant",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="132--140"
}

@inproceedings{johnson:85,
  title="A Meta-Language and System for Nonlocal Incremental Attribute
         Evaluation in Language-Based Editors",
  author="Gregory F. Johnson and Charles N. Fischer",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="141--151"
}

@inproceedings{pollock:85,
  title="Incremental Compilation of Locally Optimized Code",
  author="Lori L. Pollock and Mary Lou Soffa",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="152--164"
}

@inproceedings{ford:85,
  title="A Greedy Approach to Incremental Code Generation",
  author="Ray Ford and Duangkaew Sawamiphakdi",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="165--178"
}

@inproceedings{ferrante:85,
  title="On Linearizing Parallel Code",
  author="Jeanne Ferrante and Mary Mace",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="179--189"
}

@inproceedings{anantharaman:85,
  title="Compiling Path Expressions into {VLSI} Circuits",
  author="L. S. Anantharaman and Clarke, Jr., Edmund M. and M. J.
                 Foster and B. Mishra",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="191--204"
}

@inproceedings{lamport:85b,
  title="Constraints: A Uniform Approach to Aliasing and Typing",
  author="Leslie Lamport and Fred. B. Schneider",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="205--216"
}

@inproceedings{fraser:85,
  title="High-Level Language Facilities for Low-Level Services",
  author="Christopher W. Fraser and David R. Hanson",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="217--224"
}

@inproceedings{jones:85,
  title="Matchmaker: An Interface Specification Language for Distributed
         Processing",
  author="Michael B. Jones and Richard F. Rashid and Mary R. Thompson",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="225--235"
}

@inproceedings{tichy:85,
  title="Smart Recompilation",
  author="Walter F. Tichy and Mark C. Baker",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="236--244"
}

@inproceedings{friedman:85,
  title="Constraining Control",
  author="Daniel P. Friedman and Christopher T. Haynes",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="245--254"
}

@inproceedings{padget:85,
  title="Closurize and Concentrate",
  author="Julian Padget and John Fitch",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="255--265"
}

@inproceedings{lindstrom:85,
  title="Functional Programming and the Logical Variable",
  author="Gary Lindstrom",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="266--280"
}

@inproceedings{cooper:85,
  title="Analyzing Aliases of Reference Formal Parameters",
  author="Keith D. Cooper",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="281--290"
}

@inproceedings{wegman:85,
  title="Constant Propagation with Conditional Branches",
  author="Mark N. Wegman and F. Kenneth Zadeck",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="291--299"
}

@inproceedings{hudak:85,
  title="The Aggregate Update Problem in Functional Programming Systems",
  author="Paul Hudak and Adrienne Blass",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="300--314"
}

@inproceedings{appel:85,
  title="Semantics-Directed Code Generation",
  author="Andrew W. Appel",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="315--324"
}

@inproceedings{bernstein:85b,
  title="Optimal Scheduling of Arithmetic Operations in Parallel
         with Memory Accesses",
  author="David Bernstein and Ron Y. Pinter and Michael Rodeh",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="325--333"
}

@inproceedings{aho:85,
  title="Efficient Tree Pattern Matching: An Aid to Code Generation",
  author="Alfred V. Aho and Mahadevan Ganapathi",
  booktitle=popl12,
  address="New Orleans, Louisiana",
  year=1985,
  month=jan,
  pages="334--340"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{reps:86,
  title="Remote Attribute Updating for Language-Based Editors",
  author="Thomas Reps and Carla Marceau and Tim Teitelbaum",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="1--13"
}

@inproceedings{hoover:86b,
  title="Dynamically Bypassing Copy Rule Chains in Attribute Grammars",
  author="Roger Hoover",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="14--25"
}

@inproceedings{katayama:86,
  title="Global Storage Allocation in Attribute Evaluation",
  author="Takuya Katayama and Hisashi Sasaki",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="26--37"
}

@inproceedings{wand:86,
  title="Finding the Source of Type Errors",
  author="Mitchell Wand",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="38--43"
}

@inproceedings{johnson:86b,
  title="A Maximum-Flow Approach to Anomaly Isolation in Unification-Based
         Incremental Type Inference",
  author="Gregory F. Johnson and Janet A. Walz",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="44--57"
}

@inproceedings{jones:86a,
  title="Hierarchical {VLSI} Design Systems Based on Attribute
                 Grammars",
  author="Larry G. Jones and Janos Simon",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="58--69"
}

@inproceedings{cytron:86,
  title="Code Motion of Control Structures in High-Level Languages",
  author="Ron Cytron and Andy Lowry and F. Kenneth Zadeck",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="70--85"
}

@inproceedings{jorring:86,
  title="Compilers and Staging Transformations",
  author="Ulrik {J{\o}rring} and William L. Scherlis",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="86--96"
}

@inproceedings{hudak:86a,
  title="Higher-Order Strictness Analysis in Untyped Lambda Calculus",
  author="Paul Hudak and Jonathan Young",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="97--109"
}

@inproceedings{coutant:86,
  title="Retargetable High-Level Alias Analysis",
  author="Deborah S. Coutant",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="110--118"
}

@inproceedings{hatcher:86,
  title="High-Quality Code Generation Via Bottom-Up Tree Pattern Matching",
  author="Philip J. Hatcher and Thomas W. Christopher",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="119--130"
}

@inproceedings{chen:86,
  title="A Parallel Language and its Compilation to Multiprocessor Machines
         or {VLSI}",
  author="Marina C. Chen",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="131--139"
}

@inproceedings{suonio:86,
  title="Towards Programming with Knowledge Expressions",
  author="R. Kurki-Suonio",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="140--149"
}

@inproceedings{liskov:86,
  title="Limitations of Synchronous Communication with Static Process
         Structure in Languages for Distributed Computing",
  author="Barbara Liskov and Maurice Herlihy and Lucy Gilbert",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="150--159"
}

@inproceedings{greif:86,
  title="Atomic Data Abstractions in a Distributed Collaborative Editing
         System",
  author="Irene Greif and Robert Seliger and William Weihl",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="160--172"
}

@inproceedings{barringer:86,
  title="A Really Abstract Concurrent Model and its Temporal Logic",
  author="Howard Barringer and Ruurd Kuiper and Amir Pnueli",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="173--183"
}

@inproceedings{wolper:86,
  title="Expressing Interesting Properties of Programs in Propositional
         Temporal Logic",
  author="P. Wolper",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="184--193"
}

@inproceedings{america:86,
  title="Operational Semantics of a Parallel Object-Oriented Language",
  author="Pierre America and Jaco de Bakker and Joost N. Kok and Jan Rutten",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="194--208"
}

@inproceedings{you:86,
  title="Equational Logic Programming: An Extension to Equational
         Programming",
  author="Jia-Huai You and P. A. Subrahmanyam",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="209--218"
}

@inproceedings{kaci:86,
  title="Logic and Inheritance",
  author="Hassan {A\"{\i}t-Kaci} and Roger Nasr",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="219--228"
}

@inproceedings{snelting:86,
  title="Unification in Many-Sorted Algebras as a Device for Incremental
         Semantic Analysis",
  author="Gregor Snelting and Wolfgang Henhapl",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="229--235"
}

@inproceedings{carriero:86,
  title="Distributed Data Structures in {Linda}",
  author="Nicholas Carriero and David Gelernter and Jerry Leichter",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="236--242"
}

@inproceedings{hudak:86b,
  title="Para-Functional Programming: A Paradigm for Programming
         Multiprocessor Systems",
  author="Paul Hudak and Lauren Smith",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="243--254"
}

@inproceedings{ramakrishnan:86,
  title="Annotations for Distributed Programming in Logic",
  author="Raghu Ramakrishnan and Avi Silberschatz",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="255--262"
}

@inproceedings{mitchell:86,
  title="Representation Independence and Data Abstraction",
  author="John C. Mitchell",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="263--276"
}

@inproceedings{macqueen:86,
  title="Using Dependent Types to Express Modular Structure",
  author="David MacQueen",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="277--286"
}

@inproceedings{meyer:86,
  title="``{Type}'' Is Not A Type",
  author="Albert R. Meyer and Mark B. Reinhold",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="287--295"
}

@inproceedings{jones:86b,
  title="Data Flow Analysis of Applicative Programs Using Minimal
         Function Graphs",
  author="Neil D. Jones and Alan Mycroft",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="296--306"
}

@inproceedings{lengauer:86,
  title="A Mechanically Certified Theorem about Optimal Concurrency
         of Sorting Networks",
  author="Christian Lengauer and Chua-Huang Huang",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="307--317"
}

@inproceedings{jefferson:86,
  title="Executable Specifications with Quantifiers in the
        {FASE} System",
  author="Stan Jefferson and Sam Kamin",
  booktitle=popl13,
  address="St.~Petersburg Beach, Florida",
  year=1986,
  month=jan,
  pages="318--326"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{manna:87,
  title="Specification and Verification of Concurrent Programs By
         $\forall$-Automata",
  author="Zohar Manna and Amir Pnueli",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="1--12"
}

@inproceedings{herlihy:87,
  title="Axioms for Concurrent Objects",
  author="Maurice P. Herlihy and Jeannette M. Wing",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="13--26"
}

@inproceedings{widom:87,
  title="Completeness and Incompleteness of Trace-Based Network
         Proof Systems",
  author="Jennifer Widom and David Gries and Fred B. Schneider",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="27--38"
}

@inproceedings{jouvelot:87,
  title="Semantic Parallelization: A Practical Exercise in Abstract
         Interpretation",
  author="Pierre Jouvelot",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="39--48"
}

@inproceedings{saraswat:87,
  title="The Concurrent Logic Programming Language {CP}:
                 Definition and Operational Semantics",
  author="Vijay A. Saraswat",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="49--62"
}

@inproceedings{allen:87b,
  title="Automatic Decomposition of Scientific Programs for Parallel
         Execution",
  author="Randy Allen and David Callahan and Ken Kennedy",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="63--76"
}

@inproceedings{kohlbecker:87,
  title="Macro-by-Example: Deriving Syntactic Transformations from their
         Specifications",
  author="Eugene E. Kohlbecker and Mitchell Wand",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="77--84"
}

@inproceedings{cai:87,
  title="Binding Performance at Language Design Time",
  author="Jiazhen Cai and Robert Paige",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="85--97"
}

@inproceedings{gelernter:87,
  title="Environments as First Class Objects",
  author="David Gelernter and Suresh Jagannathan and Thomas London",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="98--110"
}

@inproceedings{jaffar:87,
  title="Constraint Logic Programming",
  author="Joxan Jaffar and Jean-Louis Lassez",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="111--119"
}

@inproceedings{nielson:87,
  title="Strictness Analysis and Denotational Abstract Interpretation",
  author="Flemming Nielson",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="120--131"
}

@inproceedings{hall:87,
  title="Compiling Strictness into Streams",
  author="Cordelia V. Hall and David S. Wise",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="132--143"
}

@inproceedings{kuo:87,
  title="On Strictness and its Analysis",
  author="Tsung-Min Kuo and Prateek Mishra",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="144--155"
}

@inproceedings{moshier:87,
  title="A Logic for Partially Specified Data Structures",
  author="M. Drew Moshier and William C. Rounds",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="156--167"
}

@inproceedings{chase:87,
  title="An Improvement to Bottom-up Tree Pattern Matching",
  author="David R. Chase",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="168--177"
}

@inproceedings{caspi:87,
  title="Lustre: A Declarative Language for Programming Synchronous
         Systems",
  author="P. Caspi and D. Pilaud and N. Halbwachs and J. A. Plaice",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="178--188"
}

@inproceedings{apt:87,
  title="Appraising Fairness in Languages for Distributed Programming",
  author="Krzysztof R. Apt and Nissim Francez and Shmuel Katz",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="189--198"
}

@inproceedings{stark:87,
  title="Concurrent Transition System Semantics of Process Networks",
  author="Eugene W. Stark",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="199--210"
}

@inproceedings{oles:87,
  title="Semantics for Concurrency without Powerdomains",
  author="Frank J. Oles",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="211--222"
}

@inproceedings{huizing:87,
  title="Full Abstraction of a Real-Time Denotational Semantics for
         an {Occam}-like Language",
  author="C. Huizing and R. Gerth and W. P. de Roever",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="223--237"
}

@inproceedings{tannen:87,
  title="Computable Values Can Be Classical",
  author="Val Breazu-Tannen and Albert R. Meyer",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="238--245"
}

@inproceedings{leivant:87,
  title="Skinny and Fleshy Failures of Relative Completeness",
  author="Daniel Leivant and Tim Fernando",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="246--252"
}

@inproceedings{meyer:87,
  title="Empty Types in Polymorphic Lambda Calculus",
  author="Albert R. Meyer and John C. Mitchell and Eugenio Moggi and
          Richard Statman",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="253--262"
}

@inproceedings{bernstein:87,
  title="Scheduling Arithmetic and Load Operations in Parallel with
         No Spilling",
  author="David Bernstein and Jeffrey M. Jaffe and Michael Rodeh",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="263--273"
}

@inproceedings{neirynck:87,
  title="Computation of Aliases and Support Sets",
  author="Anne Neirynck and Prakash Panangaden and Alan J. Demers",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="274--283"
}

@inproceedings{lee:87,
  title="A Realistic Compiler Generator Based on High-Level Semantics",
  author="Peter Lee and Uwe Pleban",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="284--295"
}

@inproceedings{cheriton:87,
  title="Extensions for Multi-Module Records in Conventional
         Programming Languages",
  author="David R. Cheriton and Michael E. Wolf",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="296--306"
}

@inproceedings{wadler:87,
  title="Views: A Way for Pattern Matching to Cohabit with Data Abstraction",
  author="Philip Wadler",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="307--313"
}

@inproceedings{felleisen:87,
  title="A Calculus for Assignments in Higher-Order Languages",
  author="Matthias Felleisen and Daniel P. Friedman",
  booktitle=popl14,
  address="Munich, Germany",
  year=1987,
  month=jan,
  pages="314--325"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{alpern:88,
  title="Detecting Equality of Variables in Programs",
  author="Bowen Alpern and Mark N. Wegman and F. Kenneth Zadeck",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="1--11"
}

@inproceedings{rosen:88,
  title="Global Value Numbers and Redundant Computations",
  author="Barry K. Rosen and Mark N. Wegman and F. Kenneth Zadeck",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="12--27"
}

@inproceedings{mitchell:88b,
  title="The Essence of {ML}",
  author="John C. Mitchell and Robert Harper",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="28--46"
}

@inproceedings{lucassen:88,
  title="Polymorphic Effect Systems",
  author="John M. Lucassen and David K. Gifford",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="47--57"
}

@inproceedings{kfoury:88,
  title="A Proper Extension of {ML} with an Effective
                 Type-Assignment",
  author="A. J. Kfoury and J. Tiuryn and P. Urzyczyn",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="58--69"
}

@inproceedings{cardelli:88,
  title="Structural Subtyping and the Notion of Power Type",
  author="Luca Cardelli",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="70--79"
}

@inproceedings{kamin:88,
  title="Inheritance in {Smalltalk-80}: A Denotational Definition",
  author="Samuel Kamin",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="80--87"
}

@inproceedings{stansifer:88,
  title="Type Inference with Subtypes",
  author="Ryan Stansifer",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="88--97"
}

@inproceedings{nielson:88,
  title="Automatic Binding Time Analysis for a Typed {$\lambda$}-Calculus",
  author="Hanne R. Nielson and Flemming Nielson",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="98--106"
}

@inproceedings{hudak:88,
  title="A Collecting Interpretation of Expressions (Without Powerdomains)",
  author="Paul Hudak and Jonathan Young",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="107--118"
}

@inproceedings{wadler:88,
  title="Strictness Analysis Aids Time Analysis",
  author="Philip Wadler",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="119--132"
}

@inproceedings{horwitz:88a,
  title="Integrating Non-Interfering Versions of Programs",
  author="Susan Horwitz and Jan Prins and Thomas Reps",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="133--145"
}

@inproceedings{horwitz:88b,
  title="On the Adequacy of Program Dependence Graphs for
         Representing Programs",
  author="Susan Horwitz and Jan Prins and Thomas Reps",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="146--157"
}

@inproceedings{johnson:88,
  title="Stores and Partial Continuations as First-Class Objects
         in a Language and its Environment",
  author="Gregory F. Johnson and Dominic Duggan",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="158--168"
}

@inproceedings{williams:88,
  title="Sacrificing Simplicity for Convenience: Where Do You Draw
         the Line?",
  author="John H. Williams and Edward L. Wimmers",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="169--179"
}

@inproceedings{felleisen:88,
  title="The Theory and Practice of First-Class Prompts",
  author="Matthias Felleisen",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="180--190"
}

@inproceedings{meyer:88,
  title="Towards Fully Abstract Semantics for Local Variables",
  author="Albert R. Meyer and Kurt Sieber",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="191--203"
}

@inproceedings{montenyohl:88,
  title="Correct Flow Analysis in Continuation Semantics",
  author="Margaret Montenyohl and Mitchell Wand",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="204--218"
}

@inproceedings{garland:88,
  title="Inductive Methods for Reasoning about Abstract Data Types",
  author="Stephen J. Garland and John V. Guttag",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="219--228"
}

@inproceedings{bloom:88,
  title="Bisimulation Can't Be Traced",
  author="Bard Bloom and Sorin Istrail and Albert R. Meyer",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="229--239"
}

@inproceedings{bouge:88,
  title="A Compositional Approach to Superimposition",
  author="Luc {Boug\'e} and Nissim Francez",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="240--249"
}

@inproceedings{vardi:88,
  title="A Temporal Fixpoint Calculus",
  author="Moshe Y. Vardi",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="250--259"
}

@inproceedings{debray:88b,
  title="Efficient Dataflow Analysis of Logic Programs",
  author="Saumya K. Debray",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="260--273"
}

@inproceedings{carroll:88,
  title="Incremental Data Flow Analysis via Dominator and Attribute Updates",
  author="Martin D. Carroll and Barbara G. Ryder",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="274--284"
}

@inproceedings{ruggieri:88,
  title="Lifetime Analysis of Dynamically Allocated Objects",
  author="Cristina Ruggieri and Thomas P. Murtagh",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="285--293"
}

@inproceedings{llopart:88,
  title="Optimal Code Generation for Expression Trees: An Application
         of {BURS} Theory",
  author="Eduardo {Pelegr\'i}-Llopart and Susan L. Graham",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="294--308"
}

@inproceedings{lam:88b,
  title="Compiler Optimizations for Asynchronous Systolic Array Programs",
  author="Monica S. Lam",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="309--318"
}

@inproceedings{irigoin:88,
  title="Supernode Partitioning",
  author="F. Irigoin and R. Troilet",
  booktitle=popl15,
  address="San Diego, California",
  year=1988,
  month=jan,
  pages="319--329"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{baxter:89,
  title="The Program Dependence Graph and Vectorization",
  author="William Baxter and Bauer, {III}, Henry R.",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="1--11"
}

@inproceedings{selke:89,
  title="A Rewriting Semantics for Program Dependence Graphs",
  author="Rebecca Parsons Selke",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="12--24"
}

@inproceedings{cytron:89b,
  title="An Efficient Method of Computing Static Single Assignment Form",
  author="Ron Cytron and Jeanne Ferrante and Barry K. Rosen and
          Mark N. Wegman and F. Kenneth Zadeck",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="25--35"
}

@inproceedings{sagiv:89,
  title="Resolving Circularity in Attribute Grammars with Applications
         to Data Flow Analysis",
  author="S. Sagiv and O. Edelstein and N. Francez and M. Rodeh",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="36--48"
}

@inproceedings{cooper:89,
  title="Fast Interprocedural Alias Analysis",
  author="Keith D. Cooper and Ken Kennedy",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="49--59"
}

@inproceedings{wadler:89,
  title="How to Make {{\em ad-hoc}} Polymorphism Less {{\em ad-hoc}}",
  author="Philip Wadler and Stephen Blott",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="60--76"
}

@inproceedings{remy:89,
  title="Typechecking Records and Variants in a Natural Extension of
                 {ML}",
  author="Didier R\'emy",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="77--88"
}

@inproceedings{mohring:89,
  title="Extracting $F_{\omega}$'s Programs from Proofs in the
         Calculus of Constructions",
  author="Christine Paulin-Mohring",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="89--104"
}

@inproceedings{kanellakis:89,
  title="Polymorphic Unification and {ML} Typing",
  author="Paris C. Kanellakis and John C. Mitchell",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="105--115"
}

@inproceedings{yelick:89,
  title="Moded Type Systems for Logic Programming",
  author="Katherine A. Yelick and Joseph L. Zachary",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="116--124"
}

@inproceedings{hickey:89,
  title="{CLP*} and Constraint Abstraction",
  author="Timothy J. Hickey",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="125--133"
}

@inproceedings{gaifman:89,
  title="Fully Abstract Compositional Semantics for Logic Programs",
  author="Haim Gaifman and Ehud Y. Shapiro",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="134--142"
}

@inproceedings{thomsen:89,
  title="A Calculus of Higher Order Communicating Systems",
  author="Bent Thomsen",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="143--154"
}

@inproceedings{jonsson:89,
  title="A Fully Abstract Trace Model for Dataflow Networks",
  author="Bengt Jonsson",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="155--165"
}

@inproceedings{emerson:89,
  title="Efficient Temporal Reasoning",
  author="E. Allen Emerson and Tom Sadler and Jai Srinivasan",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="166--178"
}

@inproceedings{pnueli:89,
  title="On the Synthesis of a Reactive Module",
  author="Amir Pnueli and Roni Rosner",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="179--190"
}

@inproceedings{attie:89,
  title="Synthesis of Concurrent Systems with Many Similar Sequential
         Processes",
  author="Paul C. Attie and E. Allen Emerson",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="191--201"
}

@inproceedings{cardelli:89,
  title="The {Modula-3} Type System",
  author="Luca Cardelli and Jim E. Donahue and Mick Jordan and Bill Kalsow
          and Greg Nelson",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="202--212"
}

@inproceedings{abadi:89,
  title="Dynamic Typing in a Statically-Typed Language",
  author="Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce and
          Gordon Plotkin",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="213--227"
}

@inproceedings{meseguer:89,
  title="Relating Models of Polymorphism",
  author="J. Meseguer",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="228--241"
}

@inproceedings{monteleone:89,
  title="Generalized Conjunctive Types",
  author="Gennaro Monteleone",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="242--249"
}

@inproceedings{dershowitz:89,
  title="Rewrite, Rewrite, Rewrite, Rewrite, Rewrite\ldots",
  author="Nachum Dershowitz and St\'ephane Kaplan",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="250--259"
}

@inproceedings{parker:89,
  title="Partial Order Programming",
  author="D. Stott Parker",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="260--266"
}

@inproceedings{baudinet:89,
  title="Temporal Logic Programming is Complete and Expressive",
  author="Marianne Baudinet",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="267--280"
}

@inproceedings{kelsey:89,
  title="Realistic Compilation by Program Transformation",
  author="Richard Kelsey and Paul Hudak",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="281--292"
}

@inproceedings{appel:89,
  title="Continuation-Passing, Closure-Passing Style",
  author="Andrew W. Appel and Trevor Jim",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="293--302"
}

@inproceedings{gopinath:89,
  title="Copy Elimination in Functional Languages",
  author="K. Gopinath and John L. Hennessy",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="303--314"
}

@inproceedings{pugh:89,
  title="Incremental Computation via Function Caching",
  author="William Pugh and Tim Teitelbaum",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="315--328"
}

@inproceedings{mosses:89,
  title="Unified Algebras and Modules",
  author="Peter D. Mosses",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="329--343"
}

@inproceedings{larsen:89,
  title="Bisimulation Through Probabilistic Testing",
  author="Kim G. Larsen and Arne Skou",
  booktitle=popl16,
  address="Austin, Texas",
  year=1989,
  month=jan,
  pages="344--352"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{field:90,
  title="On Laziness and Optimality in Lambda Interpreters:
         Tools for Specification and Analysis",
  author="John Field",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="1--15"
}

@inproceedings{lamping:90,
  title="An Algorithm for Optimal Lambda Calculus Reduction",
  author="John Lamping",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="16--30"
}

@inproceedings{abadi:90,
  title="Explicit Substitutions",
  author="Mart\'{\i}n Abadi and Luca Cardelli and P.-L. Curien and
                 Jean-Jacques L\'evy",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="31--46"
}

@inproceedings{griffin:90,
  title="A Formulae-as-Types Notion of Control",
  author="Timothy G. Griffin",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="47--58"
}

@inproceedings{asperti:90,
  title="Implicative Formulae in the ``Proofs as Computations'' Analogy",
  author="Andrea Asperti and Gian Luigi Ferrari and Roberto Gorrieri",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="59--71"
}

@inproceedings{moschovakis:90,
  title="Computable processes",
  author="Yiannis N. Moschovakis",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="72--80"
}

@inproceedings{berry:90,
  title="The Chemical Abstract Machine",
  author="G\'erard Berry and G\'erard Boudol",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="81--94"
}

@inproceedings{lafont:90,
  title="Interaction Nets",
  author="Yves Lafont",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="95--108"
}

@inproceedings{mitchell:90,
  title="Toward a Typed Foundation for Method Specialization and Inheritance",
  author="John C. Mitchell",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="109--124"
}

@inproceedings{cook:90,
  title="Inheritance Is Not Subtyping",
  author="William R. Cook and Walter L. Hill and Peter S. Canning",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="125--135"
}

@inproceedings{graver:90,
  title="A Type System for {Smalltalk}",
  author="Justin O. Graver and Ralph E. Johnson",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="136--150"
}

@inproceedings{burn:90,
  title="A Relationship Between Abstract Interpretation and Projection
                 Analysis",
  author="G. L. Burn",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="151--156"
}

@inproceedings{deutsch:90,
  title="On Determining Lifetime and Aliasing of Dynamically Allocated
         Data in Higher-Order Functional Specifications",
  author="Alain Deutsch",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="157--168"
}

@inproceedings{sekar:90,
  title="Small Domains Spell Fast Strictness Analysis",
  author="R. C. Sekar and Shaunak Pawagi and I. V. Ramakrishnan",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="169--183"
}

@inproceedings{marlowe:90,
  title="An Efficient Hybrid Algorithm for Incremental Data Flow Analysis",
  author="Thomas J. Marlowe and Barbara G. Ryder",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="184--196"
}

@inproceedings{heintze:90,
  title="A Finite Presentation Theorem for Approximating Logic Programs",
  author="Nevin Heintze and Joxan Jaffar",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="197--209"
}

@inproceedings{aiken:90,
  title="Program Transformation in the Presence of Errors",
  author="Alexander Aiken and John H. Williams and Edward L. Wimmers",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="210--217"
}

@inproceedings{steele:90b,
  title="Making Asynchronous Parallelism Safe for the World",
  author="Steele, Jr., Guy L.",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="218--231"
}

@inproceedings{saraswat:90,
  title="Concurrent Constraint Programming",
  author="Vijay A. Saraswat and Martin Rinard",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="232--245"
}

@inproceedings{ramakrishnan:90,
  title="Parallelism in Logic Programs",
  author="Raghu Ramakrishnan",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="246--260"
}

@inproceedings{demers:90,
  title="Combining Generational and Conservative Garbage Collection:
         Framework and Implementations",
  author="Alan J. Demers and Mark Weiser and Barry Hayes and Hans Boehm
          and Daniel Bobrow and Scott Shenker",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="261--269"
}

@inproceedings{palem:90,
  title="Scheduling Time-Critical Instructions on {RISC} Machines",
  author="Krishna V. Palem and Barbara B. Simons",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="270--280"
}

@inproceedings{ramesh:90,
  title="Automata-Driven Indexing of {Prolog} Clauses",
  author="R. Ramesh and I. V. Ramakrishnan and D. S. Warren",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="281--291"
}

@inproceedings{attie:90,
  title="Fairness and Hyperfairness in Multi-Party Interactions",
  author="Paul C. Attie and Nissim Francez and Orna Grumberg",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="292--305"
}

@inproceedings{gunter:90,
  title="Relating Total and Partial Correctness Interpretations of
         Non-Deterministic Programs",
  author="Carl A. Gunter",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="306--319"
}

@inproceedings{russell:90,
  title="On Oraclizable Networks and {Kahn's} Principle",
  author="James R. Russell",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="320--328"
}

@inproceedings{stark:90,
  title="On the Relations Computable by a Class of Concurrent Automata",
  author="Eugene W. Stark",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="329--340"
}

@inproceedings{harper:90,
  title="Higher-Order Modules and the Phase Distinction",
  author="Robert Harper and John C. Mitchell and Eugenio Moggi",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="341--354"
}

@inproceedings{rouaix:90,
  title="Safe Run-time Overloading",
  author="Fran\c{c}ois Rouaix",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="355--366"
}

@inproceedings{thatte:90,
  title="Quasi-Static Typing",
  author="Satish R. Thatte",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="367--381"
}

@inproceedings{mairson:90,
  title="Deciding {ML} Typability is Complete for Deterministic
         Exponential Time",
  author="Harry G. Mairson",
  booktitle=popl17,
  address="San Francisco, California",
  year=1990,
  month=jan,
  pages="382--401"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{sundaresh:91,
  title="Incremental Compilation via Partial Evaluation",
  author="R. S. Sundaresh and Paul Hudak",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="1--13"
}

@inproceedings{consel:91b,
  title="Static and Dynamic Semantics Processing",
  author="Charles Consel and Olivier Danvy",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="14--24"
}

@inproceedings{odersky:91,
  title="How to Make Destructive Updates Less Destructive",
  author="Martin Odersky",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="25--36"
}

@inproceedings{sekar:91,
  title="On the Power and Limitation of Strictness Analysis Based
         on Abstract Interpretation",
  author="R. C. Sekar and Prateek Mishra and I. V. Ramakrishnan",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="37--48"
}

@inproceedings{abramsky:91,
  title="A Relational Approach to Strictness Analysis for
         Higher-Order Polymorphic Functions",
  author="Samson Abramsky and Thomas P. Jensen",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="49--54"
}

@inproceedings{choi:91b,
  title="Automatic Construction of Sparse Data Flow Evaluation Graphs",
  author="Jong-Deok Choi and Ron Cytron and Jeanne Ferrante",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="55--66"
}

@inproceedings{pingali:91,
  title="Dependence Flow Graphs: An Algebraic Approach to Program
         Dependencies",
  author="Keshav Pingali and Micah Beck and Richard Johnson and
          Mayan Moudgill and Paul Stodghill",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="67--78"
}

@inproceedings{pinter:91,
  title="Program Optimization and Parallelization Using Idioms",
  author="Shlomit S. Pinter and Ron Y. Pinter",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="79--92"
}

@inproceedings{landi:91,
  title="Pointer-Induced Aliasing: A Problem Classification",
  author="William Landi and Barbara G. Ryder",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="93--103"
}

@inproceedings{amadio:91,
  title="Subtyping Recursive Types",
  author="Roberto M. Amadio and Luca Cardelli",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="104--118"
}

@inproceedings{henglein:91,
  title="The Complexity of Type Inference for Higher-Order
         Typed Lambda Calculi",
  author="Fritz Henglein and Harry G. Mairson",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="119--130"
}

@inproceedings{harper:91,
  title="A Record Calculus Based on Symmetric Concatenation",
  author="Robert Harper and Benjamin Pierce",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="131--142"
}

@inproceedings{cai:91,
  title="``{Look Ma}, No Hashing, And No Arrays Neither''",
  author="Jiazhen Cai and Robert Paige",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="143--154"
}

@inproceedings{clinger:91,
  title="Macros That Work",
  author="William Clinger and Jonathan Rees",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="155--162"
}

@inproceedings{duba:91,
  title="Typing First-Class Continuations in {ML}",
  author="Bruce F. Duba and Robert Harper and David MacQueen",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="163--173"
}

@inproceedings{queinnec:91,
  title="A Dynamic Extent Control Operator for Partial Continuations",
  author="Christian Queinnec and Bernard Serpette",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="174--184"
}

@inproceedings{sitaram:91,
  title="Modeling Continuations without Continuations",
  author="Dorai Sitaram and Matthias Felleisen",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="185--196"
}

@inproceedings{lucco:91,
  title="Parallel Programming With Coordination Structures",
  author="Steven Lucco and Oliver Sharp",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="197--208"
}

@inproceedings{joung:91,
  title="Coordinating First-Order Multiparty Interactions",
  author="Yuh-Jzer Joung and Scott A. Smolka",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="209--220"
}

@inproceedings{kleinman:91,
  title="Communication with Directed Logic Variables",
  author="Alon Kleinman and Yael Moscowitz and Amir Pnueli and Ehud Y.
                 Shapiro",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="221--232"
}

@inproceedings{crank:91,
  title="Parameter-Passing and the Lambda Calculus",
  author="Erik Crank and Matthias Felleisen",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="233--244"
}

@inproceedings{riecke:91,
  title="Fully Abstract Translations between Functional Languages",
  author="Jon G. Riecke",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="245--254"
}

@inproceedings{maranget:91,
  title="Optimal Derivations in Weak Lambda-calculi and in
         Orthogonal Terms Rewriting Systems",
  author="Luc Maranget",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="255--269"
}

@inproceedings{mitchell:91,
  title="An Extension of {Standard ML} Modules with
         Subtyping and Inheritance",
  author="John Mitchell and Sigurd Meldal and Neel Madhav",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="270--278"
}

@inproceedings{aiken:91,
  title="Static Type Inference in a Dynamically Typed Language",
  author="Alexander Aiken and Brian R. Murphy",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="279--290"
}

@inproceedings{leroy:91,
  title="Polymorphic Type Inference and Assignment",
  author="Xavier Leroy and Pierre Weis",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="291--302"
}

@inproceedings{jouvelot:91,
  title="Algebraic Reconstruction of Types and Effects",
  author="Pierre Jouvelot and David K. Gifford",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="303--310"
}

@inproceedings{pratt:91,
  title="Modeling Concurrency with Geometry",
  author="Vaughan R. Pratt",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="311--322"
}

@inproceedings{abadi:91b,
  title="A Logical View of Composition and Refinement",
  author="Mart\'{\i}n Abadi and Gordon D. Plotkin",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="323--332"
}

@inproceedings{saraswat:91,
  title="Semantic Foundations of Concurrent Constraint Programming",
  author="Vijay A. Saraswat and Martin Rinard and Prakash Panangaden",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="333--352"
}

@inproceedings{henzinger:91,
  title="Temporal Proof Methodologies for Real-time Systems",
  author="Thomas A. Henzinger and Zohar Manna and Amir Pnueli",
  booktitle=popl18,
  address="Orlando, Florida",
  year=1991,
  month=jan,
  pages="353--366"
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{wadler:92,
  title="The Essence of Functional Programming",
  author="Philip Wadler",
  pages="1--14",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{gonthier:92,
  title="The Geometry of Optimal Lambda Reduction",
  author="Georges Gonthier and {Mart\'{\i}n} Abadi and Jean-Jacques {L\'evy}",
  pages="15--26",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{filinski:92,
  title="Linear Continuations",
  author="Andrzej Filinski",
  pages="27--38",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{lang:92,
  title="Garbage Collecting the World",
  author="Bernard Lang and Christian Queinnec and {Jos\'e} Piquer",
  pages="39--50",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{edelson:92,
  title="A Mark-and-Sweep Collector for {C++}",
  author="Daniel R. Edelson",
  pages="51--58",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{ball:92,
  title="Optimally Profiling and Tracing Programs",
  author="Thomas Ball and James R. Larus",
  pages="59--70",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{nielson:92,
  title="Bounded Fixed Point Iteration",
  author="Hanne Riis Nielson and Flemming Nielson",
  pages="71--82",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{cousot:92,
  title="Inductive Definitions, Semantics and Abstract Interpretation",
  author="Patrick Cousot and Radhia Cousot",
  pages="83--94",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{barbuti:92,
  title="Modeling {Prolog} Control",
  author="Roberto Barbuti and Michael Codish and Roberto Giacobazzi
                 and Giorgio Levi",
  pages="95--104",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{rinard:92,
  title="Semantic Foundations of {Jade}",
  author="Martin C. Rinard and Monica S. Lam",
  pages="105--118",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{berry:92,
  title="A Semantics for {ML} Concurrency Primitives",
  author="Dave Berry and Robin Milner and David N. Turner",
  pages="119--129",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{chow:92,
  title="Compile-Time Analysis of Parallel Programs that Share Memory",
  author="Jyh-Herng Chow and Williams Ludwell {Harrison III}",
  pages="130--141",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{joung:92,
  title="A Comprehensive Study of the Complexity of Multiparty Interaction",
  author="Yuh-Jzer Joung and Scott A. Smolka",
  pages="142--153",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{ohori:92,
  title="A Compilation Method for {ML}-Style Polymorphic
                 Record Calculi",
  author="Atsushi Ohori",
  pages="154--165",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{remy:92,
  title="Typing Record Concatenation for Free",
  author="Didier {R\'emy}",
  pages="166--176",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{leroy:92,
  title="Unboxed Objects and Polymorphic Typing",
  author="Xavier Leroy",
  pages="177--188",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{tofte:92,
  title="Principal Signatures for Higher-Order Program Modules",
  author="Mads Tofte",
  pages="189--199",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{cosmo:92,
  title="Type Isomorphisms in a Type-Assignment Framework",
  author="Roberto Di Cosmo",
  pages="200--210",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{farnum:92,
  title="Pattern-Based Tree Attribution",
  author="Charles Farnum",
  pages="211--222",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{farrow:92,
  title="Composable Attribute Grammars: Support for Modularity in
                 Translator Design and Implementation",
  author="Rodney Farrow and Thomas J. Marlowe and Daniel M. Yellin",
  pages="223--234",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{bates:92,
  title="Recognizing Substrings of {LR$(k)$} Languages in
                 Linear Time",
  author="Joseph Bates and Alon Lavie",
  pages="235--245",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{gupta:92,
  title="Generalized Dominators and Post-Dominators",
  author="Rajiv Gupta",
  pages="246--257",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{jorgensen:92,
  title="Generating a Compiler for a Lazy Language by Partial Evaluation",
  author="Jesper J{\o}gensen",
  pages="258--268",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{nirkhe:92,
  title="Partial Evaluation of High-Level Imperative Programming
                 Languages, with Applications in Hard Real-Time Systems",
  author="Vivek Nirkhe and William Pugh",
  pages="269--280",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{ma:92,
  title="Parametricity as Subtyping",
  author="Quingming Ma",
  pages="281--292",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{lincoln:92,
  title="Algorithmic Aspects of Type Inference with Subtypes",
  author="Patrick Lincoln and John C. Mitchell",
  pages="293--304",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{pierce:92,
  title="Bounded Quantification is Undecidable",
  author="Benjamin C. Pierce",
  pages="305--315",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{bruce:92,
  title="{PER} Models of Subtyping, Recursive Types and Higher-Order
                 Polymorphism",
  author="Kim Bruce and John C. Mitchell",
  pages="316--327",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{cartwright:92,
  title="Observable Sequentiality and Full Abstraction",
  author="Robert Cartwright and Matthias Felleisen",
  pages="328--342",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{clarke:92,
  title="Model Checking and Abstraction",
  author="Clarke, Jr., Edmund M. and Orna Grumberg and David E. Long",
  pages="342--354",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

@inproceedings{jagadeesan:92,
  title="Abstract Semantics for a Higher-Order Functional Language
                 with Logic Variables",
  author="Radha Jagadeesan and Keshav Pingali",
  pages="355--366",
  booktitle=popl19,
  address="Albequerque, New Mexico",
  year=1992,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{snir:93,
  author="Marc Snir",
  title="Computer Architectures and Programming Models for Scalable
                 Parallel Computing",
  pages="1",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan,
  note="Tutorial abstract"
}

@inproceedings{maydan:93,
  author="Dror E. Maydan and Saman P. Amarasinghe and Monica S. Lam",
  title="Array Data-Flow Analysis and its Use in Array Privatization",
  pages="2--15",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{chatterjee:93a,
  author="Siddhartha Chatterjee and John R. Gilbert and Robert
                 Schreiber and Shang-Hua Teng",
  title="Automatic Array Alignment in Data-Parallel Programs",
  pages="16--28",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{ning:93,
  author="Qi Ning and Guang R. Gao",
  title="A Novel Framework of Register Allocation for Software Pipelining",
  pages="29--42",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{odersky:93a,
  author="Martin Odersky and Dan Rabin and Paul Hudak",
  title="Call by Name, Assignment, and the {Lambda} Calculus",
  pages="43--56",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{weeks:93,
  author="Stephen Weeks and Matthias Felleisen",
  title="On the Orthogonality of Assignments and Procedures in {Algol}",
  pages="57--70",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{peytonjones:93,
  author="Peyton Jones, Simon L. and Philip Wadler",
  title="Imperative Functional Programming",
  pages="71--84",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{berry:93,
  author="G. Berry and S. Ramesh and R. K. Shyamasundar",
  title="Communicating Reactive Processes",
  pages="85--98",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{ohori:93,
  author="Atsushi Ohori and Kazuhiko Kato",
  title="Semantics for Communication Primitives in an Polymorphic Language",
  pages="99--112",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{doligez:93,
  author="Damien Doligez and Xavier Leroy",
  title="A Concurrent, Generational Garbage Collector for a
                 Multithreaded Implementation of {ML}",
  pages="113--123",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{lawall:93,
  author="Julia L. Lawall and Olivier Danvy",
  title="Separating Stages in the Continuation-Passing Style Transformation",
  pages="124--136",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{wand:93,
  author="Mitchell Wand",
  title="Specifying the Correctness of Binding-Time Analysis",
  pages="137--143",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{launchbury:93,
  author="John Launchbury",
  title="A Natural Semantics for Lazy Evaluation",
  pages="144--154",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{reynolds:93,
  author="John C. Reynolds",
  title="An Introduction to Logical Relations and Parametric Polymorphism",
  pages="155--156",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan,
  note="Tutorial abstract."
}

@inproceedings{abadi:93a,
  author="{Mart\'{\i}n} Abadi and Luca Cardelli and Pierre-Louis Curien",
  title="Formal Parametric Polymorphism",
  pages="157--170",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{ohearn:93,
  author="P. W. O'Hearn and R. D. Tennent",
  title="Relational Parametricity and Local Variables",
  pages="171--184",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{reicke:93,
  author="Jon G. Reicke and Ramesh Subrahmanyam",
  title="Algebraic Reasoning and Completeness in Typed Languages",
  pages="185--195",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{klarlund:93,
  author="Nils Klarlund and Michael I. Schwartzbach",
  title="Graph Types",
  pages="196--205",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{harper:93a,
  author="Robert Harper and Mark Lillibridge",
  title="Explicit Polymorphism and {CPS} Conversion",
  pages="206--219",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{leroy:93,
  author="Xavier Leroy",
  title="Polymorphism by Name for References and Continuations",
  pages="220--231",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{choi:93,
  author="Jong-Deok Choi and Michael Burke and Paul Carini",
  title="Efficient Flow-Sensitive Interprocedural Computation of
                 Pointer-Induced Aliases and Side Effects",
  pages="232--245",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{yi:93,
  author="Kwangkeun Yi and Williams Ludwell {Harrison III}",
  title="Automatic Generation and Management of Interprocedural
                 Program Analyses",
  pages="246--259",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{srinivasan:93,
  author="Harini Srinivasan and James Hook and Michael Wolfe",
  title="Static Single Assignment for Explicitely Parallel Programs",
  pages="260--272",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{lakhotia:93,
  author="Arun Lakhotia",
  title="Constructing Call Multigraphs Using Dependence Graphs",
  pages="273--284",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{bruce:93,
  author="Kim B. Bruce",
  title="Safe Type Checking in a Statically-Typed Object-Oriented
                 Programming Language",
  pages="285--298",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{pierce:93,
  author="Benjamin C. Pierce and David Turner",
  title="Object-Oriented Programming without Recursive Types",
  pages="299--312",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{mairson:93,
  author="Harry G. Mairson",
  title="A Constructive Logic of Multiple Subtyping",
  pages="313--324",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{leivant:93,
  author="Daniel Leivant",
  title="Stratified Functional Programs and Computational Complexity",
  pages="325--333",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{marriott:93a,
  author="Kimbal G. Marriott and Peter J. Stuckey",
  title="The {3~R's} of Optimizing Constraint Logic Programs:
                 Refinement, Removal and Reordering",
  pages="334--344",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{clergerie:93,
  author="E. Villemonte de la Clergerie",
  title="Layer Sharing: An Improved Structure-Sharing Framework",
  pages="345--358",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{bossi:93,
  author="A. Bossi and M. Bugliesi",
  title="Differential Logic Programming",
  pages="359--370",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{adl-tabatabai:93a,
  author="Ali-Reza Adl-Tabatabai and Thomas Gross",
  title="Evicted Variables and the Interaction of Global Register
                 Allocation and Symbolic Debugging",
  pages="371--383",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{bates:93,
  author="Samual Bates and Susan Horwitz",
  title="Incremental Program Testing Using Program Dependence Graphs",
  pages="384--396",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{dhamdhere:93a,
  author="Dhananjay M. Dhamdhere and Uday P. Khedker",
  title="Complexity of Bidirectional Data Flow Analysis",
  pages="397--408",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{nipkow:93,
  author="Tobias Nipkow and Christian Prehofer",
  title="Type Checking Type Classes",
  pages="409--418",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{kozen:93,
  author="Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach",
  title="Efficient Recursive Subtyping",
  pages="419--428",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{gay:93,
  author="Simon J. Gay",
  title="A Sort Inference Algorithm for the Polyadic {Pi}-Calculus",
  pages="429--438",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{shao:93,
  author="Zhong Shao and Andrew W. Appel",
  title="Smartest Recompilation",
  pages="439--450",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{codish:93,
  author="Michael Codish and Saumya K. Debray and Roberto Giacobazzi",
  title="Compositional Analysis of Modular Logic Programs",
  pages="451--464",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{aponte:93,
  author="Maria Virginia Aponte",
  title="Extending Record Typing to Type Parametric Modules with Sharing",
  pages="465--478",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{lee:93,
  author="Shinn-Der Lee and Daniel P. Friedman",
  title="Quasi-Static Scoping: Sharing Variable Bindings Across
                 Multiple Lexical Scopes",
  pages="479--492",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{consel:93a,
  author="Charles Consel and Olivier Danvy",
  title="Tutorial Notes on Partial Evaluation",
  pages="493--501",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

@inproceedings{ramalingam:93,
  author="G. Ramalingam and Thomas Reps",
  title="A Categorized Bibliography on Incremental Computation",
  pages="502--510",
  booktitle=popl20,
  address="Charleston, South Carolina",
  year=1993,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@inproceedings{diwan:94,
  author="Amer Diwan and David Tarditi and Eliot Moss",
  title="Memory Subsystem Performance of Programs Using Copying
                 Garbage Collection",
  pages="1--14",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{ramsey:94,
  author="Norman Ramsey",
  title="Correctness of Trap-Based Breakpoint Implementations",
  pages="15--24",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{agrawal:94a,
  author="Hiralal Agrawal",
  title="Dominators, Super Blocks, and Program Coverage",
  pages="25--34",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{garrigue:94,
  author="Jaques Garrigue and Hassan {A\"{\i}t-Kaci}",
  title="The Typed Polymorphic Label-Selective $\lambda$-Calculus",
  pages="35--47",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{odersky:94,
  author="Martin Odersky",
  title="A Functional Theory of Local Names",
  pages="48--59",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{lescanne:94,
  author="Pierre Lescanne",
  title="From $\lambda \sigma$ to $\lambda v\/$: A Journey Through
                 Calculi of Explicit Substitutions",
  pages="60--69",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{doligez:94,
  author="Damien Doligez and Georges Gonthier",
  title="Portable, Unobtrusive Garbage Collection for Multiprocessor Systems",
  pages="70--83",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{nielson:94,
  author="Hanne Riis Nielson and Flemming Nielson",
  title="Higher-Order Concurrent Programs with Finite Communication Topology",
  pages="84--97",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{boer:94,
  author="F. S. Boer and M. Gabrielli and Elena Marchiori and C. Palamidessi",
  title="Proving Concurrent Constraint Programs Correct",
  pages="98--108",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{leroy:94,
  author="Xavier Leroy",
  title="Manifest Types, Modules, and Separate Compilation",
  pages="109--122",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{harper:94,
  author="Robert Harper and Mark Lillibridge",
  title="A Type-Theoretic Approach to Higher-Order Modules with Sharing",
  pages="123--137",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{katiyar:94,
  author="Dinesh Katiyar and David Luckham and John Mitchell",
  title="A Type System for Prototyping Languages",
  pages="138--150",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{castagna:94,
  author="Giuseppe Castagna and Benjamin C. Pierce",
  title="Decidable Bounded Quantification",
  pages="151--162",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{aiken:94,
  author="Alexander Aiken and Edward L. Wimmers and T. K. Lakshman",
  title="Soft Typing with Conditional Types",
  pages="163--173",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{thatte:94,
  author="Satish {Thatt\'e}",
  title="Automated Synthesis of Interface Adapters for Reusable Classes",
  pages="174--187",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{tofte:94,
  author="Mads Tofte and Jean-Pierre Talpin",
  title="Implementation of the Typed Call-by-Value $\lambda$-Calculus
                 using a Stack of Regions",
  pages="188--201",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{hankin:94,
  author="Chris Hankin and Daniel Le {M\'etayer}",
  title="Deriving Algorithms from Type Inference Systems: Application
                 to Strictness Analysis",
  pages="202--212",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{henglein:94,
  author="Fritz Henglein and Jesper J{\o}rgensen",
  title="Formally Optimal Boxing",
  pages="213--226",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{cortesi:94,
  author="Agostino Cortesi and Le Charlier, Baudoin and Van
                 Hentenryck, Pascal",
  title="Combinations of Abstract Domains for Logic Programming",
  pages="227--239",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{marriot:94,
  author="Kim Marriot and Garcia de la Banda, Maria {Jos\'e} and
                 Manuel Hermenegildo",
  title="Analyzing Logic Programs with Dynamic Scheduling",
  pages="240--253",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{qian:94,
  author="Zhenyu Qian",
  title="Higher-Order Equational Logic Programming",
  pages="254--267",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{antoy:94,
  author="Sergio Antoy and Rachid Echahed and Michael Hanus",
  title="A Needed Narrowing Strategy",
  pages="268--279",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{proebsting:94,
  author="Todd A. Proebsting and Christopher W. Fraser",
  title="Detecting Pipeline Structural Hazards Quickly",
  pages="280--286",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{ramalingam:94,
  author="G. Ramalingam and Thomas Reps",
  title="An Incremental Algorithm for Maintaining the Dominator Tree
                 of a Reducible Flowgraph",
  pages="287--298",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{weise:94,
  author="Daniel Weise and Roger F. Crew and Michael Ernst and Bjarne
                 Steensgaard",
  title="Value Dependence Graphs: Representation without Taxation",
  pages="297--310",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{maslov:94a,
  author="Vadim Maslov",
  title="Lazy Array Data-Flow Dependence Analysis",
  pages="311--325",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{cleaveland:94,
  author="Rance Cleaveland and Daniel Yankelevich",
  title="An Operational Framework for Value-Passing Processes",
  pages="",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{bloom:94,
  author="Bard Bloom",
  title="CHOCOLATE: {Calculi of Higher Order COmmunication and LAmbda TErms}",
  pages="339--347",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{honda:94,
  author="Kohei Honda and Nobuko Yoshida",
  title="Combinatory Representation of Mobile Processes",
  pages="348--360",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{paakki:94,
  author="Jukka Paakki",
  title="Multi-Pass Execution of Functional Logic Programs",
  pages="361--374",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{boyland:94,
  author="John Boyland and Susan Graham",
  title="Composing Tree Attributions",
  pages="375--388",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{muller:94,
  author="Robert Muller",
  title="A Staging Calculus and its Application to the Verification of
                 Translators",
  pages="389--396",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{calder:94,
  author="Brad Calder and Dirk Grunwald",
  title="Reducing Indirect Function Call Overhead in {C++} Programs",
  pages="397--408",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{bosschere:94,
  author="Koen de Bosschere and Saumya K. Debray and David Gudeman and
                 Sampath Kannan",
  title="Call Forwarding: A Simple Interprocedural Optimization
                 Technique for Dynamically Typed Languages",
  pages="409--420",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{feigen:94,
  author="Lawrence Feigen and David Klappholz and Robert Cassazza and
                 Xing Xue",
  title="The Revival Transformation",
  pages="421--434",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{wand:94,
  author="Mitchell Wand and Paul Steckler",
  title="Selective and Lightweight Closure Conversion",
  pages="435--445",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{filinski:94,
  author="Andrzej Filinski",
  title="Representing Monads",
  pages="446--457",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{hatcliff:94,
  author="John Hatcliff and Olivier Danvy",
  title="A Generic Account of Continuation-Passing Styles",
  pages="458--471",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

@inproceedings{steele:94,
  author="Steele, Jr., Guy L.",
  title="Building Interpreters by Composing Monads",
  pages="472--492",
  booktitle=popl21,
  address="Portland, Oregon",
  year=1994,
  month=jan
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%