13. POPL 1986: St. Petersburg Beach, Florida

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