Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1989 (conf/popl/89)

1. William Baxter, Henry R. Bauer III
   The Program Dependence Graph and Vectorization. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:1-11 [Conf]
   
2. Rebecca Parsons Selke
   A Rewriting Semantics for Program Dependence Graphs. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:12-24 [Conf]
   
3. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
   An Efficient Method of Computing Static Single Assignment Form. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:25-35 [Conf]
   
4. Shmuel Sagiv, O. Edelstein, Nissim Francez, Michael Rodeh
   Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:36-48 [Conf]
   
5. Keith D. Cooper, Ken Kennedy
   Fast Interprocedural Alias Analysis. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:49-59 [Conf]
   
6. Philip Wadler, Stephen Blott
   How to Make ad-hoc Polymorphism Less ad-hoc. [Citation Graph (1, 0)][DBLP]
   POPL, 1989, pp:60-76 [Conf]
   
7. Didier Rémy
   Typechecking Records and Variants in a Natural Extension of ML. [Citation Graph (4, 0)][DBLP]
   POPL, 1989, pp:77-88 [Conf]
   
8. Christine Paulin-Mohring
   Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   POPL, 1989, pp:89-104 [Conf]
   
9. Paris C. Kanellakis, John C. Mitchell
   Polymorphic Unification and ML Typing. [Citation Graph (1, 0)][DBLP]
   POPL, 1989, pp:105-115 [Conf]
   
10. Katherine A. Yelick, Joseph L. Zachary
    Moded Type Systems for Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:116-124 [Conf]
    
11. Timothy J. Hickey
    CLP* and Constraint Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:125-133 [Conf]
    
12. Haim Gaifman, Ehud Y. Shapiro
    Fully Abstract Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:134-142 [Conf]
    
13. Bent Thomsen
    A Calculus of Higher Order Communicating Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:143-154 [Conf]
    
14. Bengt Jonsson
    A Fully Abstract Trace Model for Dataflow Networks. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:155-165 [Conf]
    
15. E. Allen Emerson, Tom Sadler, Jai Srinivasan
    Efficient Temporal Reasoning. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:166-178 [Conf]
    
16. Amir Pnueli, Roni Rosner
    On the Synthesis of a Reactive Module. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:179-190 [Conf]
    
17. Paul C. Attie, E. Allen Emerson
    Synthesis of Concurrent Systems with Many Similar Sequential Processes. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:191-201 [Conf]
    
18. Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson
    The Modula-3 Type System. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:202-212 [Conf]
    
19. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin
    Dynamic Typing in a Statically-Typed Language. [Citation Graph (3, 0)][DBLP]
    POPL, 1989, pp:213-227 [Conf]
    
20. José Meseguer
    Relating Models of Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:228-241 [Conf]
    
21. Gennaro Monteleone
    Generalized Conjunctive Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:242-249 [Conf]
    
22. Nachum Dershowitz, Stéphane Kaplan
    Rewrite, Rewrite, Rewrite, Rewrite, Rewrite. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:250-259 [Conf]
    
23. Douglas Stott Parker Jr.
    Partial Order Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:260-266 [Conf]
    
24. Marianne Baudinet
    Temporal Logic Programming is Complete and Expressive. [Citation Graph (6, 0)][DBLP]
    POPL, 1989, pp:267-280 [Conf]
    
25. Richard Kelsey, Paul Hudak
    Realistic Compilation by Program Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:281-292 [Conf]
    
26. Andrew W. Appel, Trevor Jim
    Continuation-Passing, Closure-Passing Style. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:293-302 [Conf]
    
27. K. Gopinath, John L. Hennessy
    Copy Elimination in Functional Languages. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:303-314 [Conf]
    
28. William Pugh, Tim Teitelbaum
    Incremental Computation via Function Caching. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:315-328 [Conf]
    
29. Peter D. Mosses
    Unified Algebras and Modules. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:329-343 [Conf]
    
30. Kim Guldstrand Larsen, Arne Skou
    Bisimulation Through Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
    POPL, 1989, pp:344-352 [Conf]