Conferences in DBLP

Logic of Programs (lop)
1981 (conf/lop/1981)

1. Krzysztof R. Apt, Ernst-Rüdiger Olderog
   Proof Rules Dealing with Fairness. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:1-8 [Conf]
   
2. Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn
   Hoare's Logic is Incomplete When It Does Not Have To Be. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:9-23 [Conf]
   
3. Jan A. Bergstra, J. V. Tucker
   The Refinement of Specifications and the Stabiliy of Hoare's Logic. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:24-36 [Conf]
   
4. Robert Cartwright
   Toward a Logical Thoery of Program Data. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:37-51 [Conf]
   
5. Edmund M. Clarke, E. Allen Emerson
   Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:52-71 [Conf]
   
6. Robert L. Constable, Daniel R. Zlatin
   The Type Theory of PL/CV 3. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:72-93 [Conf]
   
7. J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer
   Correctness of Programs with Function Procedures. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:94-112 [Conf]
   
8. Willem P. de Roever
   A Formalism for Reasoning about Fair Termination. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:113-121 [Conf]
   
9. Brent Hailpern
   Keeping a Foot on the Ground (position paper). [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1981, pp:122-123 [Conf]
   
10. David Harel, Amir Pnueli, Jonathan Stavi
    Further Results on Propositional Dynamic Logic of Nonregular Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:124-136 [Conf]
    
11. Theo M. V. Janssen, Peter van Emde Boas
    Some Observations on Compositional Semantics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:137-149 [Conf]
    
12. A. J. Kfoury
    Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:150-166 [Conf]
    
13. Dexter Kozen
    On Induction vs. *-Continuity. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:167-176 [Conf]
    
14. Leslie Lamport
    TIMESETS -- A New Method for Temporal Reasoning about Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:177-196 [Conf]
    
15. Leslie Lamport, Susan S. Owicki
    Program Logics and Program Verification (position paper). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:197-199 [Conf]
    
16. Zohar Manna, Amir Pnueli
    Verification of Concurrent Programs: Temporal Proof Principles. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:200-252 [Conf]
    
17. Zohar Manna, Pierre Wolper
    Synthesis of Communicating Processes from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:253-281 [Conf]
    
18. Albert R. Meyer, Jerzy Tiuryn
    A Note On Equivalences Among Logics of Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:282-299 [Conf]
    
19. Grazyna Mirkowska
    The Representation Theorem for Algorithmic Algebras. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:300-310 [Conf]
    
20. István Németi
    Nonstandard Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:311-348 [Conf]
    
21. Michael J. O'Donnell
    A Critique of the Foundations of Hoare-Style Programming Logics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:349-374 [Conf]
    
22. Rohit Parikh
    Some Applications of Topology to Program Semantics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:375-386 [Conf]
    
23. Vaughan R. Pratt
    Using Graphs to Understand PDL. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:387-396 [Conf]
    
24. Andrzej Salwicki
    Critical Remarks on MAX Model of Concurrency. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:397-405 [Conf]