B (langage)
Un article de Wikipédia, l'encyclopédie libre.
Le langage de programmation B recouvre deux concepts différents :
- le langage utilisé par la méthode formelle B,
- un langage depuis longtemps obsolète qui a représenté la transition entre BCPL et le langage C. C'est principalement l'œuvre de Ken Thompson et il apparut pour la première fois en 1969 environ.
[modifier] Le langage originel
C'était en fait le BCPL privé de tout ce que Thompson pensait ne pas être essentiel, afin de pouvoir être utilisé sur de petits ordinateurs et avec quelques changements pour correspondre aux goûts de Thompson (principalement réduire le nombre de caractères dans un programme).
Comme le BCPL et le Forth, le B avait un seul type de donnée, le « mot » (word) d'ordinateur. La plupart des opérateurs (+,-,*,/) le consideraient comme un entier (integer) mais d'autres comme une adresse mémoire. Sur d'autres points, il pourrait se faire passer pour une ancienne version du C. Quelques bibliothèques de fonctions existaient, dont certaines ressemblaient vaguement aux fonctions d'entrée-sortie de la bibliothèque standard du C.
Les premières implémentations étaient pour les mini-ordinateurs de DEC, PDP-7 et PDP-11 et ont été développées en même temps que UNIX.
D'après Ken Thompson, le B a été grandement influencé par BCPL, mais le nom B lui même n'a rien à voir : c'était en fait une évolution d'un ancien langage, Bon, du nom de l'épouse de Ken Thompson, prénommée Bonnie.
[modifier] Le langage de la méthode B
Article détaillé : Méthode B.La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d'un programme, puis par raffinements successifs, d'aboutir à un modèle concret, sous-ensemble du langage transcodable en Ada ou en C.
[modifier] Liens sur le langage B
- B Method.com : présentation de la méthode B, méthode formelle avec preuve.
- AtelierB.eu : l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements logiciels prouvés sans défaut.
- B4Free.com : Outil académique faisant appel à la méthode B pour des développements logiciels prouvés.
