B (language)
The Computer programming language B recovers two different concepts:
- the language used by the formal method B,
- a language for a long time obsolete which represented the transition between BCPL and the Langage C. It is mainly the work of Ken Thompson and it appeared for the first time in 1969 approximately.
The original language
It was in fact the private BCPL of all that Thompson thought of not being essential, in order to be able to be used on small computers and with some changes to correspond to the tastes of Thompson (mainly to reduce the number of characters in a program).Like the BCPL and the Forth, B had only one type of data, the “word” ( Word ) of computer. The majority of the operators (+, -, *,/) considered it an entirety ( integer ) but of others as an address memory. On other points, it could be made pass for an old version of C. Some libraries of functions existed, of which certain resembled vaguely the functions of input-output of the standard Bibliothèque of C.
The first implementations were for the minicomputers of DEC, PDP-7 and PDP-11 and were developed at the same time as UNIX.
According to Ken Thompson, B was largely influenced by BCPL, but the name B even does not have anything to him to see: it was in fact an evolution of an old language, Bon , name of the wife of Ken Thompson, fore-mentioned Bonnie.
The language of the method B
See also: Method B
The method B is a formal method of software development which makes it possible to model in an abstract way in the language of B the behavior of a program, then by successive refinements, to lead to a concrete model, subset of the language transcodable in Ada or C.
| Random links: | Domenico Scarlatti | Torres | Matra (Haute-Corse) | That which died in the appart of the lower part | National center of Volley ball | Microrégion of Baixo Curu | Chaussures |