13. POPL 1986: St. Petersburg Beach, Florida

• Thomas W. Reps, Carla Marceau, Tim Teitelbaum: Remote Attribute Updating for Language-Based Editors. 1-13 BibTeX
• Roger Hoover: Dynamically Bypassing Copy Rule Chains in Attribute Grammars. 14-25 BibTeX
• Takuya Katayama, Hisashi Sasaki: Global Storage Allocation in Attribute Evaluation. 26-37 BibTeX
• Mitchell Wand: Finding the Source of Type Errors. 38-43 BibTeX
• Gregory F. Johnson, Janet A. Walz: A Maximum-Flow Approach to Anomaly Isolation in Unification-Based Incremental Type Inference. 44-57 BibTeX
• Larry G. Jones, Janos Simon: Hierarchical VLSI Design Systems Based on Attribute Grammars. 58-69 BibTeX
• Ron Cytron, Andy Lowry, F. Kenneth Zadeck: Code Motion of Control Structures in High-Level Languages. 70-85 BibTeX
• Ulrik Jørring, William L. Scherlis: Compilers and Staging Transformations. 86-96 BibTeX
• Paul Hudak, Jonathan Young: Higher-Order Strictness Analysis in Untyped Lambda Calculus. 97-109 BibTeX
• Deborah S. Coutant: Retargetable High-Level Alias Analysis. 110-118 BibTeX
• Philip J. Hatcher, Thomas W. Christopher: High-Quality Code Generation Via Bottom-Up Tree Pattern Matching. 119-130 BibTeX
• Marina C. Chen: A Parallel Language and its Compilation to Multiprocessor Machines or VLSI. 131-139 BibTeX
• Reino Kurki-Suonio: Towards Programming with Knowledge Expressions. 140-149 BibTeX
• Barbara Liskov, Maurice Herlihy, Lucy Gilbert: Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. 150-159 BibTeX
• Irene Greif, Robert Seliger, William E. Weihl: Atomic Data Abstractions in a Distributed Collaborative Editing System. 160-172 BibTeX
• Howard Barringer, Ruurd Kuiper, Amir Pnueli: A Really Abstract Concurrent Model and its Temporal Logic. 173-183 BibTeX
• Pierre Wolper: Expressing Interesting Properties of Programs in Propositional Temporal Logic. 184-193 BibTeX
• Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten: Operational Semantics of a Parallel Object-Oriented Language. 194-208 BibTeX
• Jia-Huai You, P. A. Subrahmanyam: Equational Logic Programming: An Extension to Equational Programming. 209-218 BibTeX
• Hassan Aït-Kaci, Roger Nasr: Logic and Inheritance. 219-228 BibTeX
• Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. 229-235 BibTeX
• Nicholas Carriero, David Gelernter, Jerrold Leichter: Distributed Data Structures in Linda. 236-242 BibTeX
• Paul Hudak, Lauren Smith: Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. 243-254 BibTeX
• Raghu Ramakrishnan, Abraham Silberschatz: Annotations for Distributed Programming in Logic. 255-262 BibTeX
• John C. Mitchell: Representation Independence and Data Abstraction. 263-276 BibTeX
• David B. MacQueen: Using Dependent Types to Express Modular Structure. 277-286 BibTeX
• Albert R. Meyer, Mark B. Reinhold: ``Type'' Is Not A Type. 287-295 BibTeX
• Neil D. Jones, Alan Mycroft: Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. 296-306 BibTeX
• Christian Lengauer, Chua-Huang Huang: A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. 307-317 BibTeX
• Stan Jefferson, Samuel N. Kamin: Executable Specifications with Quantifiers in the FASE System. 318-326 BibTeX