13. POPL 1986: St. Petersburg Beach, Florida, USA
Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986. ACM Press 1986- 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
- 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
- Ron Cytron, Andy Lowry, F. Kenneth Zadeck: Code Motion of Control Structures in High-Level Languages. 70-85
- 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
- Gregor Snelting, Wolfgang Henhapl: Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. 229-235
- Paul Hudak, Lauren Smith: Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. 243-254
- John C. Mitchell: Representation Independence and Data Abstraction. 263-276
- David B. MacQueen: Using Dependent Types to Express Modular Structure. 277-286
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team