B from FOLDOC

B

1. byte.

2. A systems language written by Ken Thompson in 1970 mostly for his own use under Unix on the PDP-11. B was later improved by Kerninghan(?) and Ritchie to produce C. B was used as the systems language on Honeywell's GCOS-3.

B was, according to Ken, greatly influenced by BCPL, but the name B had nothing to do with BCPL. B was in fact a revision of an earlier language, bon, named after Ken Thompson's wife, Bonnie.

["The Programming Language B", S.C. Johnson & B.W. Kernighan, CS TR 8, Bell Labs (Jan 1973)].

[Features? Differences from C?]

Last updated: 1997-02-02

<language>

3. A simple interactive programming language designed by Lambert Meertens and Steven Pemberton. B was the predecessor of ABC. B was the first published (and implemented) language to use indentation for block structure.

ftp://ftp.uni-kl.de/pub/languages/B.tar.Z.

["Draft Proposal for the B Language", Lambert Meertens, CWI, Amsterdam, 1981].

[http://python-history.blogspot.com/2011/07/karin-dewar-indentation-and-colon.html].

<language, specification>

4. 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: <[email protected]>.

Last updated: 1995-04-24

Nearby terms:

AXLE ♦ ayacc ♦ AYT ♦ az ♦ AZERTY ♦ B ♦ b ♦ B-0 ♦ B1FF ♦ B1 security ♦ B2B ♦ B2 security

Try this search on Wikipedia, Wiktionary, Google, OneLook.