Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1987 (conf/popl/87)

1. Zohar Manna, Amir Pnueli
   Specification and Verification of Concurrent Programs By Forall-Automata. [Citation Graph (0, 0)][DBLP]
   POPL, 1987, pp:1-12 [Conf]
   
2. Maurice Herlihy, Jeannette M. Wing
   Axioms for Concurrent Objects. [Citation Graph (2, 0)][DBLP]
   POPL, 1987, pp:13-26 [Conf]
   
3. 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]
   
4. Pierre Jouvelot
   Semantic Parallelization: A Practical Exercise in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   POPL, 1987, pp:39-48 [Conf]
   
5. Vijay A. Saraswat
   The Concurrent Logic Programming Language CP: Definition and Operational Semantics. [Citation Graph (0, 0)][DBLP]
   POPL, 1987, pp:49-62 [Conf]
   
6. 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]
   
7. 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]
   
8. Jiazhen Cai, Robert Paige
   Binding Performance at Language Design Time. [Citation Graph (3, 0)][DBLP]
   POPL, 1987, pp:85-97 [Conf]
   
9. David Gelernter, Suresh Jagannathan, Thomas London
   Environments as First Class Objects. [Citation Graph (0, 0)][DBLP]
   POPL, 1987, pp:98-110 [Conf]
   
10. Joxan Jaffar, Jean-Louis Lassez
    Constraint Logic Programming. [Citation Graph (33, 0)][DBLP]
    POPL, 1987, pp:111-119 [Conf]
    
11. Flemming Nielson
    Strictness Analysis and Denotational Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:120-131 [Conf]
    
12. Cordelia V. Hall, David S. Wise
    Compiling Strictness into Streams. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:132-143 [Conf]
    
13. Tsung-Min Kuo, Prateek Mishra
    On Strictness and its Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:144-155 [Conf]
    
14. M. Drew Moshier, William C. Rounds
    A Logic for Partially Specified Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:156-167 [Conf]
    
15. David R. Chase
    An Improvement to Bottom-up Tree Pattern Matching. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:168-177 [Conf]
    
16. 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]
    
17. 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]
    
18. Eugene W. Stark
    Concurrent Transition System Semantics of Process Networks. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:199-210 [Conf]
    
19. Frank J. Oles
    Semantics for Concurrency without Powerdomains. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:211-222 [Conf]
    
20. 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]
    
21. Val Tannen, Albert R. Meyer
    Computable Values Can Be Classical. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:238-245 [Conf]
    
22. Daniel Leivant, Tim Fernando
    Skinny and Fleshy Failures of Relative Completeness. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:246-252 [Conf]
    
23. 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]
    
24. 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]
    
25. Anne Neirynck, Prakash Panangaden, Alan J. Demers
    Computation of Aliases and Support Sets. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:274-283 [Conf]
    
26. 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]
    
27. 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]
    
28. Philip Wadler
    Views: A Way for Pattern Matching to Cohabit with Data Abstraction. [Citation Graph (1, 0)][DBLP]
    POPL, 1987, pp:307-313 [Conf]
    
29. Matthias Felleisen, Daniel P. Friedman
    A Calculus for Assignments in Higher-Order Languages. [Citation Graph (1, 0)][DBLP]
    POPL, 1987, pp:314-325 [Conf]