|
Conferences in DBLP
- Zohar Manna, Amir Pnueli
Specification and Verification of Concurrent Programs By Forall-Automata. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:1-12 [Conf]
- Maurice Herlihy, Jeannette M. Wing
Axioms for Concurrent Objects. [Citation Graph (2, 0)][DBLP] POPL, 1987, pp:13-26 [Conf]
- Jennifer Widom, David Gries, Fred B. Schneider
Completeness and Incompleteness of Trace-Based Network Proof Systems. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:27-38 [Conf]
- Pierre Jouvelot
Semantic Parallelization: A Practical Exercise in Abstract Interpretation. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:39-48 [Conf]
- Vijay A. Saraswat
The Concurrent Logic Programming Language CP: Definition and Operational Semantics. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:49-62 [Conf]
- Randy Allen, David Callahan, Ken Kennedy
Automatic Decomposition of Scientific Programs for Parallel Execution. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:63-76 [Conf]
- Eugene E. Kohlbecker, Mitchell Wand
Macro-by-Example: Deriving Syntactic Transformations from their Specifications. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:77-84 [Conf]
- Jiazhen Cai, Robert Paige
Binding Performance at Language Design Time. [Citation Graph (3, 0)][DBLP] POPL, 1987, pp:85-97 [Conf]
- David Gelernter, Suresh Jagannathan, Thomas London
Environments as First Class Objects. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:98-110 [Conf]
- Joxan Jaffar, Jean-Louis Lassez
Constraint Logic Programming. [Citation Graph (33, 0)][DBLP] POPL, 1987, pp:111-119 [Conf]
- Flemming Nielson
Strictness Analysis and Denotational Abstract Interpretation. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:120-131 [Conf]
- Cordelia V. Hall, David S. Wise
Compiling Strictness into Streams. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:132-143 [Conf]
- Tsung-Min Kuo, Prateek Mishra
On Strictness and its Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:144-155 [Conf]
- M. Drew Moshier, William C. Rounds
A Logic for Partially Specified Data Structures. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:156-167 [Conf]
- David R. Chase
An Improvement to Bottom-up Tree Pattern Matching. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:168-177 [Conf]
- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:178-188 [Conf]
- Krzysztof R. Apt, Nissim Francez, Shmuel Katz
Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:189-198 [Conf]
- Eugene W. Stark
Concurrent Transition System Semantics of Process Networks. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:199-210 [Conf]
- Frank J. Oles
Semantics for Concurrency without Powerdomains. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:211-222 [Conf]
- Cornelis Huizing, Rob Gerth, Willem P. de Roever
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:223-237 [Conf]
- Val Tannen, Albert R. Meyer
Computable Values Can Be Classical. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:238-245 [Conf]
- Daniel Leivant, Tim Fernando
Skinny and Fleshy Failures of Relative Completeness. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:246-252 [Conf]
- Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
Empty Types in Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:253-262 [Conf]
- David Bernstein, Jeffrey M. Jaffe, Michael Rodeh
Scheduling Arithmetic and Load Operations in Parallel with No Spilling. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:263-273 [Conf]
- Anne Neirynck, Prakash Panangaden, Alan J. Demers
Computation of Aliases and Support Sets. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:274-283 [Conf]
- Peter Lee, Uwe F. Pleban
A Realistic Compiler Generator Based on High-Level Semantics. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:284-295 [Conf]
- David R. Cheriton, Michael E. Wolf
Extensions for Multi-Module Records in Conventional Programming Languages. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:296-306 [Conf]
- Philip Wadler
Views: A Way for Pattern Matching to Cohabit with Data Abstraction. [Citation Graph (1, 0)][DBLP] POPL, 1987, pp:307-313 [Conf]
- Matthias Felleisen, Daniel P. Friedman
A Calculus for Assignments in Higher-Order Languages. [Citation Graph (1, 0)][DBLP] POPL, 1987, pp:314-325 [Conf]
|