12. POPL 1985: New Orleans, Louisiana, USA

Mary S. Van Deusen, Zvi Galil, Brian K. Reid (Eds.): Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985. ACM Press 1985, ISBN 0-89791-147-4

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Wand85
- ask others
Mitchell Wand: Embedding Type Structure in Semantics. 1-6
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/MishraR85
- ask others
Prateek Mishra, Uday S. Reddy: Declaration-Free Type Checking. 7-21
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Cartwright85
- ask others
Robert Cartwright: Types as Intervals. 22-36
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/MitchellP85
- ask others
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. 37-51
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FutatsugiGJM85
- ask others
Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. 52-66
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/SannellaT85
- ask others
Donald Sannella, Andrzej Tarlecki: Program Specification and Development in Standard ML. 67-77
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Lamport85
- ask others
Leslie Lamport: What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority. 78-83
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/EmersonL85
- ask others
E. Allen Emerson, Chin-Laung Lei: Modalities for Model Checking: Branching Time Strikes Back. 84-96
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/LichtensteinP85
- ask others
Orna Lichtenstein, Amir Pnueli: Checking That Finite State Concurrent Programs Satisfy Their Linear Specification. 97-107
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/HalpernWWW85
- ask others
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler: Denotational Semantics and Rewrite Rules for FP. 108-120
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/NguyenGO85
- ask others
Van Nguyen, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. 121-131
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Leivant85
- ask others
Daniel Leivant: Logical and Mathematical Reasoning about Imperative Programs. 132-140
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/JohnsonF85
- ask others
Gregory F. Johnson, Charles N. Fischer: A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors. 141-151
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/PollockS85
- ask others
Lori L. Pollock, Mary Lou Soffa: Incremental Compilation of Locally Optimized Code. 152-164
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FordS85
- ask others
Ray Ford, Duangkaew Sawamiphakdi: A Greedy Approach to Incremental Code Generation. 165-178
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FerranteM85
- ask others
Jeanne Ferrante, Mary Mace: On Linearizing Parallel Code. 179-189
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AnantharamanCFM85
- ask others
Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra: Compiling Path Expressions into VLSI Circuits. 191-204
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/LamportS85
- ask others
Leslie Lamport, Fred B. Schneider: Constraints: A Uniform Approach to Aliasing and Typing. 205-216
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FraserH85
- ask others
Christopher W. Fraser, David R. Hanson: High-Level Language Facilities for Low-Level Services. 217-224
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/JonesRT85
- ask others
Michael B. Jones, Richard F. Rashid, Mary R. Thompson: Matchmaker: An Interface Specification Language for Distributed Processing. 225-235
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/TichyB85
- ask others
Walter F. Tichy, Mark C. Baker: Smart Recompilation. 236-244
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FriedmanH85
- ask others
Daniel P. Friedman, Christopher T. Haynes: Constraining Control. 245-254
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/PadgetF85
- ask others
Julian A. Padget, John Fitch: Closurize and Concentrate. 255-265
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Lindstrom85
- ask others
Gary Lindstrom: Functional Programming and the Logical Variable. 266-280
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Cooper85
- ask others
Keith D. Cooper: Analyzing Aliases of Reference Formal Parameters. 281-290
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/WegmanZ85
- ask others
Mark N. Wegman, F. Kenneth Zadeck: Constant Propagation with Conditional Branches. 291-299, (long version: TOPLAS 13(2): 181-210 (1991))
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/HudakB85
- ask others
Paul Hudak, Adrienne Bloss: The Aggregate Update Problem in Functional Programming Systems. 300-314
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Appel85
- ask others
Andrew W. Appel: Semantics-Directed Code Generation. 315-324
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/BernsteinPR85
- ask others
David Bernstein, Ron Y. Pinter, Michael Rodeh: Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. 325-333
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AhoG85
- ask others
Alfred V. Aho, Mahadevan Ganapathi: Efficient Tree Pattern Matching: An Aid to Code Generation. 334-340