## Logics of Programs Workshop, Yorktown Heights, New York, May 1981 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Technical and Position Papers | 1 |

J Bergstra and J V Tucker | 24 |

Robert Cartwrlght | 37 |

Copyright | |

12 other sections not shown

### Other editions - View all

### Common terms and phrases

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