|
" Logics of Programs : "
edited by Dexter Kozen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745271
|
| Doc. No
|
:
|
b565220
|
| Main Entry
|
:
|
edited by Dexter Kozen.
|
| Title & Author
|
:
|
Logics of Programs : : Workshop, Yorktown Heights, New York, May 1981\ edited by Dexter Kozen.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1982
|
| Series Statement
|
:
|
Lecture notes in computer science, 131.
|
| Page. NO
|
:
|
(429 pages)
|
| ISBN
|
:
|
354011212X
|
|
|
:
|
: 3540390472
|
|
|
:
|
: 9783540112129
|
|
|
:
|
: 9783540390473
|
| Contents
|
:
|
Proof rules dealing with fairness --; Hoare's Logic is incomplete when it does not have to be --; The refinement of specifications and the stability of Hoare's Logic --; Toward a logical theory of program data --; Design and synthesis of synchronization skeletons using branching time temporal logic --; The type theory of PL/CV3 --; Correctness of programs with function procedures --; A formalism for reasoning about fair termination --; Keeping a foot on the ground --; Further results on propositional dynamic logic of nonregular programs --; Some observations on compositional semantics --; Some connections between iterative programs, recursive programs, and first-order logic --; On induction vs. *-continuity --; Timesets --; Program logics and program verification --; Verification of concurrent programs: Temporal proof principles --; Synthesis of communicating processes from Temporal Logic specifications --; A note on equivalences among logics of programs --; The representation theorem for algorithmic algebras --; Nonstandard Dynamic Logic --; A critique of the foundations of Hoare-style programming logics --; Some applications of topology to program semantics --; Using graphs to understand PDL --; Critical remarks on max model of concurrency --; Transcript of panel discussion.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Programmation (Informatique) -- Congrès.
|
| Added Entry
|
:
|
Dexter Kozen
|
| Parallel Title
|
:
|
With contributions by nummerous experts
|
| |