Conferences in DBLP

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

1. Krzysztof R. Apt
   A Static Analysis of CSP Programs. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:1-17 [Conf]
   
2. J. W. de Bakker, Jeffery I. Zucker
   Compactness in Semantics for Merge and Fair Merge. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:18-33 [Conf]
   
3. Jan A. Bergstra, Jan Willem Klop, J. V. Tucker
   Algebraic Tools for System Construction. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:34-44 [Conf]
   
4. Jan A. Bergstra, Jerzy Tiuryn
   PC-Compactness, a Necessary Condition for the Existence of Sound and Complete Logics of Partial Correctness. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:45-56 [Conf]
   
5. Howard A. Blair
   The Intractability of Validity in Logic Programming and Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:57-67 [Conf]
   
6. Stephen D. Brookes
   A Semantics and Proof System for Communicating Processes. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:68-85 [Conf]
   
7. Robert Cartwright
   Non-Standard Fixed Points in First Order Logic. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:86-100 [Conf]
   
8. Edmund M. Clarke, Bud Mishra
   Automatic Verification of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:101-115 [Conf]
   
9. Robert L. Constable
   Mathematics as Programming. [Citation Graph (0, 0)][DBLP]
   Logic of Programs, 1983, pp:116-128 [Conf]
   
10. Ch. Crasemann, Hans Langmaack
    Characterization of Acceptable by ALGOL-Like Programming Languages. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:129-146 [Conf]
    
11. Flaviu Cristian
    A Rigorous Approach to Fault-Tolerant System Development (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:147-160 [Conf]
    
12. Werner Damm, Bernhard Josko
    A Sound and Relatively* Compete Axiomatization of Clarke's Language L₄. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:161-175 [Conf]
    
13. E. Allen Emerson, A. Prasad Sistla
    Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:176-192 [Conf]
    
14. Erwin Engeler
    Equation in Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:193-205 [Conf]
    
15. Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
    Reasoning About Procedures as Parameters. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:206-220 [Conf]
    
16. Joseph A. Goguen, Rod M. Burstall
    Introducing Institutions. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:221-256 [Conf]
    
17. Orna Grumberg, Nissim Francez, Shmuel Katz
    A Compete Proof Rule for Strong Equifair Termination. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:257-278 [Conf]
    
18. A. J. Kfoury, Pawel Urzyczyn
    Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:279-289 [Conf]
    
19. Tmima Koren, Amir Pnueli
    There Exit Decidable Context Free Propositional Dynamic Logics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:290-312 [Conf]
    
20. Dexter Kozen, Rohit Parikh
    A Decision Procedure for the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:313-325 [Conf]
    
21. Boris D. Lubachevsky
    A Verifier for Compact Parallel Coordination Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:326-340 [Conf]
    
22. Charles McCarty
    Information Systems, Continuity and Realizability. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:341-259 [Conf]
    
23. John McLean
    A Complete System of Temporal Logic for Specification Schemata. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:360-370 [Conf]
    
24. Ben C. Moszkowski, Zohar Manna
    Reasoning in Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:371-382 [Conf]
    
25. Ernst-Rüdiger Olderog
    Hoare's Logic for Programs with Procedures - What Has Been Achieved?. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:383-395 [Conf]
    
26. Rohit Parikh, Anne Mahoney
    A Theory of Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:396-402 [Conf]
    
27. David A. Plaisted
    A Low Level Language for Obtaining Decision Procedure for Classes of temporal Logics. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:403-420 [Conf]
    
28. John H. Reif, William L. Scherlis
    Deriving Efficient Graph Algorithms (Summary). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:421-441 [Conf]
    
29. John C. Reynolds
    An Introduction to Specification Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:442- [Conf]
    
30. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    An Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:443-457 [Conf]
    
31. Joseph Sifakis
    Property Preserving Homomorphisms of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:458-473 [Conf]
    
32. Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
    From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:474-500 [Conf]
    
33. Moshe Y. Vardi, Pierre Wolper
    Yet Another Process Logic (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:501-512 [Conf]
    
34. Job Zwiers, Arie de Bruin, Willem P. de Roever
    A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:513-527 [Conf]