Server : Apache System : Linux webd348.cluster026.gra.hosting.ovh.net 5.15.148-ovh-vps-grsec-zfs-classid #1 SMP Thu Feb 8 09:41:04 UTC 2024 x86_64 User : hednacluml ( 122243) PHP Version : 8.3.9 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl Directory : /home/hednacluml/encyclo/articles/b/_/(/ |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="fr" lang="fr" dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<!-- headlinks removed -->
<link rel="shortcut icon" href="../../../../misc/favicon.ico"/>
<title>B (langage) - Wikipédia</title>
<style type="text/css">/*<![CDATA[*/ @import "../../../../skins/offline/main.css"; /*]]>*/</style>
<link rel="stylesheet" type="text/css" media="print" href="../../../../skins/common/commonPrint.css" />
<!--[if lt IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE50Fixes.css";</style><![endif]-->
<!--[if IE 5.5000]><style type="text/css">@import "../../../../skins/monobook/IE55Fixes.css";</style><![endif]-->
<!--[if IE 6]><style type="text/css">@import "../../../../skins/monobook/IE60Fixes.css";</style><![endif]-->
<!--[if IE]><script type="text/javascript" src="../../../../skins/common/IEFixes.js"></script>
<meta http-equiv="imagetoolbar" content="no" /><![endif]-->
<script type="text/javascript" src="../../../../skins/common/wikibits.js"></script>
<script type="text/javascript" src="../../../../skins/offline/md5.js"></script>
<script type="text/javascript" src="../../../../skins/offline/utf8.js"></script>
<script type="text/javascript" src="../../../../skins/offline/lookup.js"></script>
<script type="text/javascript" src="../../../../raw/gen.js"></script> <style type="text/css">/*<![CDATA[*/
@import "../../../../raw/MediaWiki%7ECommon.css";
@import "../../../../raw/MediaWiki%7EMonobook.css";
@import "../../../../raw/gen.css";
/*]]>*/</style> </head>
<body
class="ns-0">
<div id="globalWrapper">
<div id="column-content">
<div id="content">
<a name="top" id="contentTop"></a>
<h1 class="firstHeading">B (langage)</h1>
<div id="bodyContent">
<h3 id="siteSub">Un article de Wikipédia, l'encyclopédie libre.</h3>
<div id="contentSub"></div>
<!-- start content -->
<p>Le <a href="../../../../articles/l/a/n/Langage_de_programmation.html" title="Langage de programmation">langage de programmation</a> <b>B</b> recouvre deux concepts différents :</p>
<ul>
<li>le langage utilisé par la <a href="../../../../articles/m/%C3%A9/t/M%C3%A9thode_B_4cc8.html" title="Méthode B">méthode formelle B</a>,</li>
<li>un langage depuis longtemps obsolète qui a représenté la transition entre <a href="../../../../articles/b/c/p/BCPL_ea1b.html" title="BCPL">BCPL</a> et le <a href="../../../../articles/l/a/n/Langage_C_3ea7.html" class="mw-redirect" title="Langage C">langage C</a>. C'est principalement l'œuvre de <a href="../../../../articles/k/e/n/Ken_Thompson_ae84.html" class="mw-redirect" title="Ken Thompson">Ken Thompson</a> et il apparut pour la première fois en <a href="../../../../articles/1/9/6/1969.html" title="1969">1969</a> environ.</li>
</ul>
<p><a name="Le_langage_originel" id="Le_langage_originel"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/b/_/%28/B_%28langage%29.html" title="Modifier la section : Le langage originel">modifier</a>]</span> <span class="mw-headline">Le langage originel</span></h2>
<p>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).</p>
<p>Comme le BCPL et le <a href="../../../../articles/f/o/r/Forth_%28langage%29.html" title="Forth (langage)">Forth</a>, le B avait un seul type de donnée, le « mot » (<i>word</i>) d'ordinateur. La plupart des opérateurs (+,-,*,/) le consideraient comme un entier (<i>integer</i>) 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 <a href="../../../../articles/b/i/b/Biblioth%C3%A8que_standard_du_C_447b.html" class="mw-redirect" title="Bibliothèque standard du C">bibliothèque standard du C</a>.</p>
<p>Les premières implémentations étaient pour les mini-ordinateurs de <a href="../../../../articles/d/e/c/DEC_3834.html" title="DEC">DEC</a>, <a href="../../../../articles/p/d/p/PDP-7_a87d.html" title="PDP-7">PDP-7</a> et <a href="../../../../articles/p/d/p/PDP-11_c0f3.html" title="PDP-11">PDP-11</a> et ont été développées en même temps que <a href="../../../../articles/u/n/i/UNIX_1539.html" title="UNIX">UNIX</a>.</p>
<p>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, <i>Bon</i>, du nom de l'épouse de Ken Thompson, prénommée Bonnie.</p>
<p><a name="Le_langage_de_la_m.C3.A9thode_B" id="Le_langage_de_la_m.C3.A9thode_B"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/b/_/%28/B_%28langage%29.html" title="Modifier la section : Le langage de la méthode B">modifier</a>]</span> <span class="mw-headline">Le langage de la méthode B</span></h2>
<div class="detail"><span><a href="../../../../articles/s/e/a/Image%7ESearchtool-80%25.png_e347.html" class="image" title="Icône de détail"><img alt="Icône de détail" src="../../../../images/shared/thumb/1/1a/Searchtool-80%.png/15px-Searchtool-80%.png" width="15" height="15" border="0" /></a> <span>Article détaillé : <a href="../../../../articles/m/%C3%A9/t/M%C3%A9thode_B_4cc8.html" title="Méthode B">Méthode B</a>.</span></span></div>
<p>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 <a href="../../../../articles/a/d/a/Ada_%28langage%29.html" title="Ada (langage)">Ada</a> ou en C.</p>
<p><a name="Liens_sur_le_langage_B" id="Liens_sur_le_langage_B"></a></p>
<h2><span class="editsection">[<a href="../../../../articles/b/_/%28/B_%28langage%29.html" title="Modifier la section : Liens sur le langage B">modifier</a>]</span> <span class="mw-headline">Liens sur le langage B</span></h2>
<ul>
<li><a href="http://www.bmethod.com" class="external text" title="http://www.bmethod.com" rel="nofollow">B Method.com</a> : présentation de la méthode B, méthode formelle avec preuve.</li>
<li><a href="http://www.atelierb.eu" class="external text" title="http://www.atelierb.eu" rel="nofollow">AtelierB.eu</a> : 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.</li>
<li><a href="http://www.b4free.com" class="external text" title="http://www.b4free.com" rel="nofollow">B4Free.com</a> : Outil académique faisant appel à la méthode B pour des développements logiciels prouvés.</li>
</ul>
<ul id="bandeau-portail" class="bandeau-portail">
<li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><a href="../../../../articles/n/u/v/Image%7ENuvola_apps_package_development.png_8d07.html" class="image" title="Icône du portail de la programmation informatique"><img alt="Icône du portail de la programmation informatique" src="../../../../images/shared/thumb/6/68/Nuvola_apps_package_development.png/24px-Nuvola_apps_package_development.png" width="24" height="24" border="0" /></a></span> <span class="bandeau-portail-texte"><a href="../../../../articles/p/r/o/Portail%7EProgrammation_informatique_dcf2.html" title="Portail:Programmation informatique">Portail de la programmation informatique</a></span></span></li>
</ul>
<!--
NewPP limit report
Preprocessor node count: 157/1000000
Post-expand include size: 1685/2048000 bytes
Template argument size: 244/2048000 bytes
Expensive parser function count: 0/500
-->
<div class="printfooter">
</div>
<div id="catlinks"><div id='catlinks' class='catlinks'><div id="mw-normal-catlinks"><a href="../../../../articles/a/c/c/Cat%C3%A9gorie%7EAccueil_1aae.html" title="Catégorie:Accueil">Catégorie</a> : <span dir='ltr'><a href="../../../../articles/l/a/n/Cat%C3%A9gorie%7ELangage_de_programmation_69f4.html" title="Catégorie:Langage de programmation">Langage de programmation</a></span></div></div></div> <!-- end content -->
<div class="visualClear"></div>
</div>
</div>
</div>
<div id="column-one">
<div id="p-cactions" class="portlet">
<h5>Views</h5>
<ul>
<li id="ca-nstab-main"
class="selected" ><a href="../../../../articles/b/_/%28/B_%28langage%29.html">Article</a></li><li id="ca-talk"
><a href="../../../../articles/b/_/%28/Discuter%7EB_%28langage%29_bc88.html">Discussion</a></li><li id="ca-current"
><a href="http://fr.wikipedia.org/wiki/B_%28langage%29">Version actuelle</a></li> </ul>
</div>
<div class="portlet" id="p-logo">
<a style="background-image: url(../../../../misc/Wiki.png);"
href="../../../../index.html"
title="Accueil"></a>
</div>
<script type="text/javascript"> if (window.isMSIE55) fixalpha(); </script>
<div class='portlet' id='p-navigation'>
<h5>Navigation</h5>
<div class='pBody'>
<ul>
<li id="n-mainpage"><a href="../../../../index.html">Accueil</a></li>
<li id="n-thema"><a href="../../../../articles/a/c/c/Portail%7EAccueil_bcc9.html">Portails thématiques</a></li>
<li id="n-alphindex"><a href="../../../../articles/t/o/u/Special%7EToutes_les_pages_fabc.html">Index alphabétique</a></li>
<li id="n-randompage"><a href="../../../../articles/p/a/g/Special%7EPage_au_hasard_9c81.html">Un article au hasard</a></li>
<li id="n-contact"><a href="../../../../articles/c/o/n/Wikip%C3%A9dia%7EContact_929e.html">Contacter Wikipédia</a></li>
</ul>
</div>
</div>
<div class='portlet' id='p-Contribuer'>
<h5>Contribuer</h5>
<div class='pBody'>
<ul>
<li id="n-help"><a href="../../../../articles/s/o/m/Aide%7ESommaire_c9f0.html">Aide</a></li>
<li id="n-portal"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_5272.html">Communauté</a></li>
<li id="n-recentchanges"><a href="../../../../articles/m/o/d/Special%7EModifications_r%C3%A9centes_b222.html">Modifications récentes</a></li>
<li id="n-aboutwp"><a href="../../../../articles/a/c/c/Wikip%C3%A9dia%7EAccueil_des_nouveaux_arrivants_0784.html">Accueil des nouveaux arrivants</a></li>
<li id="n-sitesupport"><a href="http://meta.wikimedia.org/wiki/Faire_un_don:_explication">Faire un don</a></li>
</ul>
</div>
</div>
<div id="p-search" class="portlet">
<h5><label for="searchInput">Rechercher</label></h5>
<div id="searchBody" class="pBody">
<form action="javascript:goToStatic(3)" id="searchform"><div>
<input id="searchInput" name="search" type="text"
accesskey="C" value="" />
<input type='submit' name="go" class="searchButton" id="searchGoButton"
value="Aller" />
</div></form>
</div>
</div>
<div id="p-lang" class="portlet">
<h5>Autres langues</h5>
<div class="pBody">
<ul>
<li>
<a href="../../../../../ca/articles/l/l/e/Llenguatge_B_65da.html">Català</a>
</li>
<li>
<a href="../../../../../cs/articles/b/_/%28/B_%28programovac%C3%AD_jazyk%29.html">Česky</a>
</li>
<li>
<a href="../../../../../de/articles/b/_/%28/B_%28Programmiersprache%29_cb3f.html">Deutsch</a>
</li>
<li>
<a href="../../../../../en/articles/b/_/%28/B_%28programming_language%29.html">English</a>
</li>
<li>
<a href="../../../../../es/articles/l/e/n/Lenguaje_de_programaci%C3%B3n_B_efdc.html">Español</a>
</li>
<li>
<a href="../../../../../gl/articles/l/i/n/Linguaxe_de_programaci%C3%B3n_B_8220.html">Galego</a>
</li>
<li>
<a href="../../../../../he/articles/%D7%A9/%D7%A4/%D7%AA/%D7%A9%D7%A4%D7%AA_B_6b75.html">עברית</a>
</li>
<li>
<a href="../../../../../it/articles/b/_/%28/B_%28linguaggio%29.html">Italiano</a>
</li>
<li>
<a href="../../../../../ja/articles/b/%E8%A8%80/%E8%AA%9E/B%E8%A8%80%E8%AA%9E.html">日本語</a>
</li>
<li>
<a href="../../../../../ms/articles/b/a/h/Bahasa_pengaturcaraan_B_e8fa.html">Bahasa Melayu</a>
</li>
<li>
<a href="../../../../../nl/articles/b/_/%28/B_%28programmeertaal%29.html">Nederlands</a>
</li>
<li>
<a href="../../../../../pl/articles/b/_/%28/B_%28j%C4%99zyk_programowania%29.html">Polski</a>
</li>
<li>
<a href="../../../../../pt/articles/b/_/%28/B_%28linguagem_de_programa%C3%A7%C3%A3o%29.html">Português</a>
</li>
<li>
<a href="../../../../../ru/articles/%D0%B1/%D0%B8/_/%D0%91%D0%B8_%28%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F%29.html">Русский</a>
</li>
<li>
<a href="../../../../../sl/articles/p/r/o/Programski_jezik_B_cbdc.html">Slovenščina</a>
</li>
<li>
<a href="../../../../../sv/articles/b/_/%28/B_%28programspr%C3%A5k%29.html">Svenska</a>
</li>
<li>
<a href="../../../../../tr/articles/b/_/p/B_programlama_dili.html">Türkçe</a>
</li>
<li>
<a href="../../../../../zh/articles/b/%E8%AA%9E/%E8%A8%80/B%E8%AA%9E%E8%A8%80.html">中文</a>
</li>
</ul>
</div>
</div>
</div><!-- end of the left (by default at least) column -->
<div class="visualClear"></div>
<div id="footer">
<div id="f-poweredbyico"><a href="http://www.mediawiki.org/"><img src="../../../../skins/common/images/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" /></a></div> <div id="f-copyrightico"><a href="http://wikimediafoundation.org/"><img src="../../../../misc/wikimedia-button.png" border="0" alt="Wikimedia Foundation"/></a></div> <ul id="f-list">
<li id="f-credits">Cette page a été modifiée pour la dernière fois le 7 juin 2008 à 17:11 par Utilisateur <a href="../../../../articles/u/h/l/Utilisateur%7EUhlu_9b57.html" title="Utilisateur:Uhlu">Uhlu</a>. Basé sur le travail de Utilisateur(s) <a href="../../../../articles/s/i/e/Utilisateur%7ESieBot_a9a8.html" title="Utilisateur:SieBot">SieBot</a>, <a href="../../../../articles/t/i/e/Utilisateur%7ETieno_f7b8.html" title="Utilisateur:Tieno">Tieno</a>, <a href="../../../../articles/s/t/a/Utilisateur%7EStanlekub_9f3f.html" title="Utilisateur:Stanlekub">Stanlekub</a>, <a href="../../../../articles/j/a/n/Utilisateur%7EJAnDbot_ea65.html" title="Utilisateur:JAnDbot">JAnDbot</a>, <a href="../../../../articles/a/n/t/Utilisateur%7EAntoineL_2e0a.html" title="Utilisateur:AntoineL">AntoineL</a>, <a href="../../../../articles/t/h/i/Utilisateur%7EThijs%21bot_c2d6.html" title="Utilisateur:Thijs!bot">Thijs!bot</a>, <a href="../../../../articles/r/h/a/Utilisateur%7ERhadamante_93ad.html" title="Utilisateur:Rhadamante">Rhadamante</a>, <a href="../../../../articles/y/o/n/Utilisateur%7EYonaBot_4a33.html" title="Utilisateur:YonaBot">YonaBot</a>, <a href="../../../../articles/m/a/t/Utilisateur%7EMathieu.clabaut_fd3e.html" title="Utilisateur:Mathieu.clabaut">Mathieu.clabaut</a>, <a href="../../../../articles/k/y/l/Utilisateur%7EKyle_the_bot_1d7d.html" title="Utilisateur:Kyle the bot">Kyle the bot</a>, <a href="../../../../articles/e/s/c/Utilisateur%7EEscarbot_177b.html" title="Utilisateur:Escarbot">Escarbot</a>, <a href="../../../../articles/r/e/i/Utilisateur%7ERei-bot_2ad1.html" title="Utilisateur:Rei-bot">Rei-bot</a>, <a href="../../../../articles/o/u/t/Utilisateur%7EOuts_7cbf.html" title="Utilisateur:Outs">Outs</a>, <a href="../../../../articles/b/a/d/Utilisateur%7EBadmood_4dbf.html" title="Utilisateur:Badmood">Badmood</a>, <a href="../../../../articles/e/s/k/Utilisateur%7EEskimbot_5ab8.html" title="Utilisateur:Eskimbot">Eskimbot</a>, <a href="../../../../articles/l/e/o/Utilisateur%7ELeonardoRob0t_2dda.html" title="Utilisateur:LeonardoRob0t">LeonardoRob0t</a>, <a href="../../../../articles/r/o/b/Utilisateur%7ERobotE_4c36.html" title="Utilisateur:RobotE">RobotE</a>, <a href="../../../../articles/p/m/x/Utilisateur%7EPmx_cd6a.html" title="Utilisateur:Pmx">Pmx</a>, <a href="../../../../articles/v/i/g/Utilisateur%7EVIGNERON_8642.html" title="Utilisateur:VIGNERON">VIGNERON</a>, <a href="../../../../articles/m/e/d/Utilisateur%7EMedBot_8f10.html" title="Utilisateur:MedBot">MedBot</a>, <a href="../../../../articles/k/l/e/Utilisateur%7EKlemen_Kocjancic_3895.html" title="Utilisateur:Klemen Kocjancic">Klemen Kocjancic</a>, <a href="../../../../articles/h/a/s/Utilisateur%7EHashar_d19a.html" title="Utilisateur:Hashar">Hashar</a>, <a href="../../../../articles/c/l/a/Utilisateur%7EClatourre_09c9.html" title="Utilisateur:Clatourre">Clatourre</a>, <a href="../../../../articles/m/a/r/Utilisateur%7EMarc_Mongenet_f355.html" title="Utilisateur:Marc Mongenet">Marc Mongenet</a>, <a href="../../../../articles/o/r/t/Utilisateur%7EOrthogaffe_792d.html" title="Utilisateur:Orthogaffe">Orthogaffe</a>, <a href="../../../../articles/f/v/d/Utilisateur%7EFvdP_f002.html" title="Utilisateur:FvdP">FvdP</a> et <a href="../../../../articles/k/o/x/Utilisateur%7EKoxinga_85c0.html" title="Utilisateur:Koxinga">Koxinga</a> et Utilisateur(s) non enregistré(s) de Wikipédia.</li> <li id="f-copyright"><span style="white-space:normal"><a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Droit_d'auteur" title="Droit d'auteur">Droit d'auteur</a> : Tous les textes sont disponibles sous les termes de la <a class="internal" href="http://fr.wikipedia.org/wiki/Wikip%C3%A9dia:Licence_de_documentation_libre_GNU" title="GFDL">licence de documentation libre GNU</a> (GFDL).<br/>
Wikipedia® est une marque déposée de la <a href="http://wikimediafoundation.org/wiki/Accueil" title="Wikimedia Foundation">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a class="internal" href="http://en.wikipedia.org/wiki/501(c)" title="501(c)">501(c)(3)</a> du code fiscal des États-Unis.</span><br/></li> <li id="f-about"><a href="../../../../articles/%C3%A0/_/p/Wikip%C3%A9dia%7E%C3%80_propos_5de1.html" title="Wikipédia:À propos">À propos de Wikipédia</a></li> <li id="f-disclaimer"><a href="../../../../articles/a/v/e/Wikip%C3%A9dia%7EAvertissements_g%C3%A9n%C3%A9raux_fef1.html" title="Wikipédia:Avertissements généraux">Avertissements</a></li> </ul>
</div>
</div>
</body>
</html>