02983nam 22004935 450 99646633840331620200702161700.03-540-39047-210.1007/BFb0025769(CKB)1000000000230163(SSID)ssj0000324550(PQKBManifestationID)11224804(PQKBTitleCode)TC0000324550(PQKBWorkID)10314779(PQKB)11707765(DE-He213)978-3-540-39047-3(PPN)155196111(EXLCZ)99100000000023016320121227d1982 u| 0engurnn|008mamaatxtccrLogics of Programs[electronic resource] Workshop, Yorktown Heights, NY, USA /edited by D. Kozen1st ed. 1982.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1982.1 online resource (VIII, 429 p.) Lecture Notes in Computer Science,0302-9743 ;131Bibliographic Level Mode of Issuance: Monograph3-540-11212-X 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.Lecture Notes in Computer Science,0302-9743 ;131With contributions by nummerous expertsComputer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Kozen Dedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466338403316Logics of programs332017UNISA