Book contents
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- III Programming
- 9 Sequencing and Loop
- 10 Programming Examples
- IV Refinement
- Appendix A Summary of Notations
- Appendix B Syntax
- Appendix C Definitions
- Appendix D Visibility Rules
- Appendix E Rules and Axioms
- Appendix F Proof Obligations
- Index
9 - Sequencing and Loop
Published online by Cambridge University Press: 21 January 2010
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- III Programming
- 9 Sequencing and Loop
- 10 Programming Examples
- IV Refinement
- Appendix A Summary of Notations
- Appendix B Syntax
- Appendix C Definitions
- Appendix D Visibility Rules
- Appendix E Rules and Axioms
- Appendix F Proof Obligations
- Index
Summary
- Type
- Chapter
- Information
- The B-BookAssigning Programs to Meanings, pp. 373 - 402Publisher: Cambridge University PressPrint publication year: 1996