What people are saying - Write a review
We haven't found any reviews in the usual places.
Technical and Position Papers
J Bergstra and J V Tucker
12 other sections not shown
Other editions - View all
abstract algebraic specification applied arbitrary assignment assume atomic propositions axiomatic axioms binary binary relations Boolean complete computation sequence Computer Science concurrent programs consider construct corresponding critical section data domain data type defined definition denote dynamic algebra Dynamic Logic effective flowcharts elements equivalent eventually example execution expressions first-order flowchart flowgraph formal function Goto graph Hence HL(E Hoare Hoare logic Hoare's logic I/O operations induction infinite initial initial algebra input integers interpretation intuitive invariance Kleene Kleene algebra Kripke models label Lemma logic assertions logics of programs mathematical means method model theory natural numbers node nondeterministic order formula partial correctness path Pnueli Predicate Calculus problem program scheme program verification programming language programming logic proof rules properties prove reasoning recursive relation result satisfiable semantics standard Kripke models structure subset symbols syntax Temporal Logic terminates theorem theory timeset tion transition true variables