Research Catalog

Title

Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.

Author

Back, Ralph-Johan

Publication

New York : Springer, [1998], ©1998.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Wright, J. von (Joakim), 1955-

Series Statement

Graduate texts in computer science

Uniform Title

Graduate texts in computer science (Springer-Verlag New York Inc.)

Subject

• Computer programming
• Calculus
• Computer logic

Bibliography (note)

• Includes bibliographical references (p. [501]-508) and index.

Contents

1. Introduction -- 2. Posets, Lattices, and Categories -- 3. Higher-Order Logic -- 4. Functions -- 5. States and State Transformers -- 6. Truth Values -- 7. Predicates and Sets -- 8. Boolean Expressions and Conditionals -- 9. Relations -- 10. Types and Data Structures -- 11. Predicate Transformers -- 12. The Refinement Calculus Hierarchy -- 13. Statements -- 14. Statements as Games -- 15. Choice Semantics -- 16. Subclasses of Statements -- 17. Correctness and Refinement of Statements -- 18. Well-founded Sets and Ordinals -- 19. Fixed Points -- 20. Recursion -- 21. Iteration and Loops -- 22. Continuity and Executable Statements -- 23. Working with Arrays -- 24. The N-Queens Problem -- 25. Loops and Two-Person Games -- 26. Statement Classes and Normal Forms -- 27. Specification Statements -- 28. Refinement in Context -- 29. Iteration of Conjunctive Statements.

ISBN

0387984178 (alk. paper)

LCCN

97047336

OCLC

• 38039667
• ocm38039667

Owning Institutions

Columbia University Libraries