The B-book - assigning programs to meanings

@inproceedings{Abrial1996TheB,
  title={The B-book - assigning programs to meanings},
  author={J. Abrial},
  year={1996}
}
Tribute Foreword Introduction Part I. Mathematics: 1. Mathematical reasoning 2. Set notation 3. Mathematical objects Part 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 Part III. Programming: 9. Sequencing and loop 10. Programming examples Part IV. Refinement: 11. Refinement 12. Constructing large software systems 13. Examples of… Expand
Formal Product Families for Abstract Machines
Computational Abstraction
  • R. Turner
  • Computer Science, Medicine
  • Entropy
  • 2021
An Automation-Friendly Set Theory for the B Method
A Tutorial Introduction to Designs in Unifying Theories of Programming
Refinement as Inclusion of Predicates over Programs
A Tutorial Introduction to CSP in Unifying Theories of Programming
A Behavioural Theory of Recursive Algorithms
From Predicates to Programs: The Semantics of a Method Language
...
1
2
3
4
5
...