The B run-time environment manual documents the internal structure of programs produced by compilers made by the Software Development Group. This includes the B compiler, the C compiler, and Pascal.
The manual is only intended for the most advanced B programmers. It will be of primary use to those who need to write subroutines in GMAP to interface with B programs.
To obtain a copy of the manual, see "expl b envi manual".
Copyright © 1996, Thinkage Ltd.