Logics of Programs

Workshop, Yorktown Heights, NY, USA

Häftad, Engelska, 1982

499 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1982-03-01
Mått170 x 250 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor429
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540112129

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

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.

Du kanske också är intresserad av

Logics of Programs

Logics of Programs

E. Clarke, D. Kozen

669 kr

Lofoten

Bokrea

Lofoten

199 kr549 kr

Hembiträdets hemlighet

Bokrea

Del 2

Hembiträdets hemlighet

Freida McFadden

99 kr299 kr

Liken vi begravde

Bokrea

Liken vi begravde

119 kr329 kr

Lucia är död

Bokrea

Del 3

Lucia är död

Katarina Wennstam

99 kr289 kr

Sagor, hyss & äventyr

Bokrea

Sagor, hyss & äventyr

Astrid Lindgren

149 kr379 kr

Fars rygg

Bokrea

Fars rygg

Niels Fredrik Dahl

99 kr329 kr

Alter ego

Bokrea

Del 8

Alter ego

129 kr329 kr

Den yttersta hemligheten

Bokrea

Del 6

Den yttersta hemligheten

149 kr329 kr

Klanen

Bokrea

Del 1

Klanen

99 kr299 kr