Abstract is missing.
- Proof Rules Dealing with FairnessKrzysztof R. Apt, Ernst-Rüdiger Olderog. 1-8
- Hoare s Logic is Incomplete When It Does Not Have To BeJan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn. 9-23
- The Refinement of Specifications and the Stabiliy of Hoare s LogicJan A. Bergstra, J. V. Tucker. 24-36
- Toward a Logical Thoery of Program DataRobert Cartwright. 37-51
- Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal LogicEdmund M. Clarke, E. Allen Emerson. 52-71
- The Type Theory of PL/CV 3Robert L. Constable, Daniel R. Zlatin. 72-93
- Correctness of Programs with Function ProceduresJ. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer. 94-112
- A Formalism for Reasoning about Fair TerminationWillem P. de Roever. 113-121
- Keeping a Foot on the Ground (position paper)Brent Hailpern. 122-123
- Further Results on Propositional Dynamic Logic of Nonregular ProgramsDavid Harel, Amir Pnueli, Jonathan Stavi. 124-136
- Some Observations on Compositional SemanticsTheo M. V. Janssen, Peter van Emde Boas. 137-149
- Some Connections Between iterative Programs, Recursive Programs, and First-Order LogicA. J. Kfoury. 150-166
- On Induction vs. *-ContinuityDexter Kozen. 167-176
- TIMESETS -- A New Method for Temporal Reasoning about ProgramsLeslie Lamport. 177-196
- Program Logics and Program Verification (position paper)Leslie Lamport, Susan S. Owicki. 197-199
- Verification of Concurrent Programs: Temporal Proof PrinciplesZohar Manna, Amir Pnueli. 200-252
- Synthesis of Communicating Processes from Temporal Logic SpecificationsZohar Manna, Pierre Wolper. 253-281
- A Note On Equivalences Among Logics of ProgramsAlbert R. Meyer, Jerzy Tiuryn. 282-299
- The Representation Theorem for Algorithmic AlgebrasGrazyna Mirkowska. 300-310
- Nonstandard Dynamic LogicIstván Németi. 311-348
- A Critique of the Foundations of Hoare-Style Programming LogicsMichael J. O Donnell. 349-374
- Some Applications of Topology to Program SemanticsRohit Parikh. 375-386
- Using Graphs to Understand PDLVaughan R. Pratt. 387-396
- Critical Remarks on MAX Model of ConcurrencyAndrzej Salwicki. 397-405