Logics of Programs [[electronic resource] ] : Workshop, Yorktown Heights, NY, USA / / edited by D. Kozen
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Logics of Programs [[electronic resource] ] : Workshop, Yorktown Heights, NY, USA / / edited by D. Kozen
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1982 |
| Edizione: | 1st ed. 1982. |
| Descrizione fisica: | 1 online resource (VIII, 429 p.) |
| Disciplina: | 005.1015113 |
| Soggetto topico: | Computer logic |
| Logics and Meanings of Programs | |
| Persona (resp. second.): | KozenD |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Altri titoli varianti: | With contributions by nummerous experts |
| Titolo autorizzato: | Logics of programs |
| ISBN: | 3-540-39047-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466338403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 131