11. POPL 1984: Salt Lake City, Utah

Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, January 1984.

Richard C. Waters: Expressional Loops. 1-10 BibTeX
Harold Ossher: Grids: A New Program Structuring Mechanism Based on Layered Graphs. 11-22 BibTeX
Brian Cantwell Smith: Reflection and Semantics in Lisp. 23-35 BibTeX
Thomas W. Reps, Bowen Alpern: Interactive Proof Checking. 36-45 BibTeX
Nissim Francez, Dexter Kozen: Generalized Fair Termination. 46-53 BibTeX
Dennis Shasha, Amir Pnueli, W. Ewald: Temporal Verification of Carrier-Sense Local Area Network Protocols. 54-65 BibTeX
Eugene W. Myers: Efficient Applicative Data Types. 66-75 BibTeX
Jean-Jacques Thiel: Stop Losing Sleep Over Incomplete Data Type Specifications. 76-82 BibTeX
Jean-Pierre Jouannaud, Hélène Kirchner: Completion of a Set of Rules Modulo a Set of Equations. 83-92 BibTeX
Ehud Y. Shapiro: Systems Programming in Concurrent Prolog. 93-105 BibTeX
Robert G. Bandes: Constraining-Unification and the Programming Language Unicorn. 106-110 BibTeX
Christoph M. Hoffmann, Michael J. O'Donnell: Implementation of an Interpreter for Abstract Equations. 111-121 BibTeX
Paul Hudak, David A. Kranz: A Combinator-Based Compiler for a Functional Language. 122-132 BibTeX
Jerald S. Schwarz, Dean Rubine: Treat - An Applicative Code Generator. 133-139 BibTeX
Reinhard Wilhelm: Inverse Currying Transformation on Attribute Grammars. 140-147 BibTeX
Jean-Claude Raoult, Ravi Sethi: The Global Storage Needs of a Subcomputation. 148-157 BibTeX
Mitchell Wand: A Types-as-Sets Semantics for Milner-Style Polymorphism. 158-164 BibTeX
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. 165-174 BibTeX
John C. Mitchell: Coercion and Type Inference. 175-185 BibTeX
Robert P. Nix: Editing by Example. 186-195 BibTeX
Don Milos, Uwe F. Pleban, George Loegel: Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. 196-207 BibTeX
Mark Sherman: Paragon: Novel Uses of Type Hierarchies for Data Abstraction. 208-217 BibTeX
Steven D. Johnson: Applicative Programming and Digital Design. 218-227 BibTeX
P. A. Subrahmanyam, Jia-Huai You: Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. 228-234 BibTeX
Prateek Mishra, Robert M. Keller: Static Inference of Properties of Applicative Programs. 235-244 BibTeX
Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot: The Semantics of Local Storage, or What Makes the Free-List Free? 245-257 BibTeX
Michal Grabowski: On Relative Completeness of Programming Logics. 258-261 BibTeX
Joseph Y. Halpern: A Good Hoare Axiom System for an Algol-like Language. 262-271 BibTeX
Joe D. Warren: A Hierarchical Basis for Reordering Transformations. 272-282 BibTeX
Thomas P. Murtagh: A Less Dynamic Memory Allocation Scheme for Algol-like Languages. 283-289 BibTeX
Norihisa Suzuki, Minoru Terada: Creating Efficient Systems for Object-Oriented Languages. 290-296 BibTeX
L. Peter Deutsch, Allan M. Schiffman: Efficient Implementation of the Smalltalk-80 System. 297-302 BibTeX