default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogics of Programs 1981: Yorktown Heights, NY, USA
- Dexter Kozen:
Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981. Lecture Notes in Computer Science 131, Springer 1982, ISBN 3-540-11212-X - Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Proof Rules Dealing with Fairness. 1-8 - Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn:
Hoare's Logic is Incomplete When It Does Not Have To Be. 9-23 - Jan A. Bergstra, John V. Tucker:
The Refinement of Specifications and the Stabiliy of Hoare's Logic. 24-36 - Robert Cartwright:
Toward a Logical Thoery of Program Data. 37-51 - Edmund M. Clarke, E. Allen Emerson:
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. 52-71 - Robert L. Constable, Daniel R. Zlatin:
The Type Theory of PL/CV 3. 72-93 - J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer:
Correctness of Programs with Function Procedures. 94-112 - Willem P. de Roever:
A Formalism for Reasoning about Fair Termination. 113-121 - Brent Hailpern:
Keeping a Foot on the Ground (position paper). 122-123 - David Harel, Amir Pnueli, Jonathan Stavi:
Further Results on Propositional Dynamic Logic of Nonregular Programs. 124-136 - Theo M. V. Janssen, Peter van Emde Boas:
Some Observations on Compositional Semantics. 137-149 - A. J. Kfoury:
Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic. 150-166 - Dexter Kozen:
On Induction vs. *-Continuity. 167-176 - Leslie Lamport:
TIMESETS -- A New Method for Temporal Reasoning about Programs. 177-196 - Leslie Lamport, Susan S. Owicki:
Program Logics and Program Verification (position paper). 197-199 - Zohar Manna, Amir Pnueli:
Verification of Concurrent Programs: Temporal Proof Principles. 200-252 - Zohar Manna, Pierre Wolper
:
Synthesis of Communicating Processes from Temporal Logic Specifications. 253-281 - Albert R. Meyer, Jerzy Tiuryn:
A Note On Equivalences Among Logics of Programs. 282-299 - Grazyna Mirkowska:
The Representation Theorem for Algorithmic Algebras. 300-310 - István Németi:
Nonstandard Dynamic Logic. 311-348 - Michael J. O'Donnell:
A Critique of the Foundations of Hoare-Style Programming Logics. 349-374 - Rohit Parikh:
Some Applications of Topology to Program Semantics. 375-386 - Vaughan R. Pratt:
Using Graphs to Understand PDL. 387-396 - Andrzej Salwicki:
Critical Remarks on MAX Model of Concurrency. 397-405
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-23 00:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
