Research Catalog

Programs, recursion, and unbounded choice : predicate-transformation semantics and transformation rules

Title
Programs, recursion, and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.
Author
Hesselink, Wim H.
Publication
Cambridge ; New York, NY, USA : Cambridge University Press, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.M35 H477 1992Off-site

Details

Description
xii, 223 pages; 26 cm.
Series Statement
Cambridge tracts in theoretical computer science ; 27
Uniform Title
Cambridge tracts in theoretical computer science ; 27.
Subject
  • Computer programming
  • computer programming
  • Computer programming
  • Programm
  • Prädikatenkalkül
  • Semantik
  • Semantiek
  • Mathematische programmering
  • Fundamentele informatica
  • Langages de programmation > Sémantique
  • Calcul des prédicats
  • Programmation récursive
  • Programm
  • Semantik
Bibliography (note)
  • Includes bibliographical references (p. [217]-220) and index.
Contents
O. Introduction -- 1. Weakest preconditions -- 2. Annotation, recursion and repetition -- 3. Healthiness laws -- 4. Semantics of recursion -- 5. Ramifications -- 6. Relational semantics -- 7. Determinacy and disjunctivity -- 8. Syntactic criteria -- 9. Operational semantics of recursion -- 10. Procedure substitutions -- 11. Induction and semantic equality -- 12. Induction and refinement -- 13. The strong preorder -- 14. Temporal operators -- 15. Predicative fairness -- 16. Solutions of exercises.
ISBN
  • 0521404363
  • 9780521404365
  • 9780521018296
  • 0521018293
LCCN
92232354
OCLC
  • ocm26339539
  • 26339539
  • SCSB-1974426
Owning Institutions
Princeton University Library