1. byte.
2. <language> A systems language written by Ken Thompson in 1970 for Unix on the PDP-11. B was derived from BCPL and was very similar to it except for syntax. B was the predecessor of C. It was used as the systems language on Honeywell's GCOS-3.
["The Programming Language B", S.C. Johnson & B.W. Kernighan, CS TR 8, Bell Labs (Jan 1973)].
(07 Nov 1994)
3. <language> A simple interactive programming language by Lambert Meertens and Steven Pemberton. B was the predecessor of ABC.
["Draft Proposal for the B Language", Lambert Meertens, CWI, Amsterdam, 1981].
4. <language, specification> A specification language by Jean-Raymond Abrial of B Core UK, Magdalen Centre, Oxford Science Park, Oxford OX4 4GA. B is related to Z and supports development of C code from specifications. B has been used in major safety-critical system specifications in Europe, and is currently attracting increasing interest in industry. It has robust, commercially available tool support for specification, design, proof and code generation.
E-mail: <Ib.Sorensen@comlab.ox.ac.uk>.
(24 Apr 1995)
(03 Nov 1996)