Book contents
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- 4 Introduction to Abstract Machines
- 5 Formal Definition of Abstract Machines
- 6 Theory of Abstract Machines
- 7 Constructing Large Abstract Machines
- 8 Examples of Abstract Machines
- III Programming
- 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
7 - Constructing Large Abstract Machines
Published online by Cambridge University Press: 21 January 2010
- Frontmatter
- Foreword
- Introduction
- Acknowledgements
- What is B?
- Contents
- I Mathematics
- II Abstract Machines
- 4 Introduction to Abstract Machines
- 5 Formal Definition of Abstract Machines
- 6 Theory of Abstract Machines
- 7 Constructing Large Abstract Machines
- 8 Examples of Abstract Machines
- III Programming
- 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. 307 - 336Publisher: Cambridge University PressPrint publication year: 1996