Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1984 (conf/popl/84)

1. Richard C. Waters
   Expressional Loops. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:1-10 [Conf]
   
2. Harold Ossher
   Grids: A New Program Structuring Mechanism Based on Layered Graphs. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:11-22 [Conf]
   
3. Brian Cantwell Smith
   Reflection and Semantics in Lisp. [Citation Graph (1, 0)][DBLP]
   POPL, 1984, pp:23-35 [Conf]
   
4. Thomas W. Reps, Bowen Alpern
   Interactive Proof Checking. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:36-45 [Conf]
   
5. Nissim Francez, Dexter Kozen
   Generalized Fair Termination. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:46-53 [Conf]
   
6. Dennis Shasha, Amir Pnueli, W. Ewald
   Temporal Verification of Carrier-Sense Local Area Network Protocols. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:54-65 [Conf]
   
7. Eugene W. Myers
   Efficient Applicative Data Types. [Citation Graph (1, 0)][DBLP]
   POPL, 1984, pp:66-75 [Conf]
   
8. Jean-Jacques Thiel
   Stop Losing Sleep Over Incomplete Data Type Specifications. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:76-82 [Conf]
   
9. Jean-Pierre Jouannaud, Hélène Kirchner
   Completion of a Set of Rules Modulo a Set of Equations. [Citation Graph (0, 0)][DBLP]
   POPL, 1984, pp:83-92 [Conf]
   
10. Ehud Y. Shapiro
    Systems Programming in Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:93-105 [Conf]
    
11. Robert G. Bandes
    Constraining-Unification and the Programming Language Unicorn. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:106-110 [Conf]
    
12. Christoph M. Hoffmann, Michael J. O'Donnell
    Implementation of an Interpreter for Abstract Equations. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:111-121 [Conf]
    
13. Paul Hudak, David A. Kranz
    A Combinator-Based Compiler for a Functional Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:122-132 [Conf]
    
14. Jerald S. Schwarz, Dean Rubine
    Treat - An Applicative Code Generator. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:133-139 [Conf]
    
15. Reinhard Wilhelm
    Inverse Currying Transformation on Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:140-147 [Conf]
    
16. Jean-Claude Raoult, Ravi Sethi
    The Global Storage Needs of a Subcomputation. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:148-157 [Conf]
    
17. Mitchell Wand
    A Types-as-Sets Semantics for Milner-Style Polymorphism. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:158-164 [Conf]
    
18. David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
    An Ideal Model for Recursive Polymorphic Types. [Citation Graph (2, 0)][DBLP]
    POPL, 1984, pp:165-174 [Conf]
    
19. John C. Mitchell
    Coercion and Type Inference. [Citation Graph (1, 0)][DBLP]
    POPL, 1984, pp:175-185 [Conf]
    
20. Robert P. Nix
    Editing by Example. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:186-195 [Conf]
    
21. Don Milos, Uwe F. Pleban, George Loegel
    Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:196-207 [Conf]
    
22. Mark Sherman
    Paragon: Novel Uses of Type Hierarchies for Data Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:208-217 [Conf]
    
23. Steven D. Johnson
    Applicative Programming and Digital Design. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:218-227 [Conf]
    
24. P. A. Subrahmanyam, Jia-Huai You
    Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:228-234 [Conf]
    
25. Prateek Mishra, Robert M. Keller
    Static Inference of Properties of Applicative Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:235-244 [Conf]
    
26. Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
    The Semantics of Local Storage, or What Makes the Free-List Free? [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:245-257 [Conf]
    
27. Michal Grabowski
    On Relative Completeness of Programming Logics. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:258-261 [Conf]
    
28. Joseph Y. Halpern
    A Good Hoare Axiom System for an Algol-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:262-271 [Conf]
    
29. Joe D. Warren
    A Hierarchical Basis for Reordering Transformations. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:272-282 [Conf]
    
30. Thomas P. Murtagh
    A Less Dynamic Memory Allocation Scheme for Algol-like Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:283-289 [Conf]
    
31. Norihisa Suzuki, Minoru Terada
    Creating Efficient Systems for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:290-296 [Conf]
    
32. L. Peter Deutsch, Allan M. Schiffman
    Efficient Implementation of the Smalltalk-80 System. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:297-302 [Conf]