Version du 21 mai 2013 à 23:48 modifier Floco99 (discussion \| contributions) 3 modifications mAucun résumé des modifications ← Modification précédente		Version du 22 mai 2013 à 00:05 modifier annuler Floco99 (discussion \| contributions) 3 modifications m →‎Première machine Modification suivante →
Ligne 17 : == Première machine == La première machine que nous allons voir permet de décrire un programme qui permute la valeur de deux variable. <~~code~~source ~~language~~lang=BC> MACHINE swap Ligne 34 : END END </~~code~~source> Comme vous pouvez le voir les machines sont composé de plusieurs ~~élément~~éléments. Le nom de la machine précédé du mot clef MACHINE(Tout les mot clef doivent être écrit en majuscule). Ensuite le nom de la machine. Ensuite arrivent les variables de la machine. C'est l'unique façon en B de déclarer une variable. À ce stade la variable n'est pas typée encore. Le typage se fait dans la partie INVARIANT. Dans cette partie se déclarent toutes les propriétés qui doivent être vérifiable en tout point du programme. Un Type se déclare donc de la manière suivante: <code language=B>nomDeVariable : TypeDeLaVariable</code> Ligne 46 : Et finalement nous en arrivons à la partie OPERATION. C'est dans cette section que sont définit les fonctions de notre machine. Une opération se déclare de la façon suivante: <~~code~~source lang="C">nomDeLOperation = BEGIN operation1\|\|operation2 END</~~code~~source> Dans notre cas on peux voir que les deux variables prennent chacunes la valeur de l'autre. Ceci peux se faire en seulement deux lignes, opération sur place, grâce au fait que les opérations sont toutes en parallèle.

« Langage B » : différence entre les versions

« Langage B » : différence entre les versions