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