14. POPL 1987: Munich, Germany
Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987. ACM Press 1987 ISBN 0-89791-215-2- Zohar Manna, Amir Pnueli: Specification and Verification of Concurrent Programs By Forall-Automata. 1-12
- Jennifer Widom, David Gries, Fred B. Schneider: Completeness and Incompleteness of Trace-Based Network Proof Systems. 27-38
- Pierre Jouvelot: Semantic Parallelization: A Practical Exercise in Abstract Interpretation. 39-48
- Vijay A. Saraswat: The Concurrent Logic Programming Language CP: Definition and Operational Semantics. 49-62
- Randy Allen, David Callahan, Ken Kennedy: Automatic Decomposition of Scientific Programs for Parallel Execution. 63-76
- Eugene E. Kohlbecker, Mitchell Wand: Macro-by-Example: Deriving Syntactic Transformations from their Specifications. 77-84
- Flemming Nielson: Strictness Analysis and Denotational Abstract Interpretation. 120-131
- David R. Chase: An Improvement to Bottom-up Tree Pattern Matching. 168-177
- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice: Lustre: A Declarative Language for Programming Synchronous Systems. 178-188
- Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. 189-198
- Eugene W. Stark: Concurrent Transition System Semantics of Process Networks. 199-210
- Frank J. Oles: Semantics for Concurrency without Powerdomains. 211-222
- Cornelis Huizing, Rob Gerth, Willem P. de Roever: Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. 223-237
- Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman: Empty Types in Polymorphic Lambda Calculus. 253-262
- David Bernstein, Jeffrey M. Jaffe, Michael Rodeh: Scheduling Arithmetic and Load Operations in Parallel with No Spilling. 263-273
- David R. Cheriton, Michael E. Wolf: Extensions for Multi-Module Records in Conventional Programming Languages. 296-306
- Philip Wadler: Views: A Way for Pattern Matching to Cohabit with Data Abstraction. 307-313
- Matthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages. 314-325
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