Exemple de structuration des traitements

On donne dans cette partie trois petits exemples de structuration des traitements d'un programme par les « textes » :

• La pile : on utilise le langage (pseudo-)générique LTR3 ; l'exemple montre combien l'expression de la généricité par les concepts du langage alourdit nettement la rédaction du programme.
• Les lecteurs-écrivains : l'exemple appartient au domaine du parallélisme ; il montre les subtiles contraintes à respecter dans ce domaine.
• La racine carrée : on pose ici le problème de la modification du programme, à sémantique constante ; cet aspect n'est pas supporté par l'outil qu'on propose.

1. La pile

1.1. Généricité en LTR3

1.2. La forme générique de la pile

1.3. Les deux instanciations

1.4. Conclusion

1.5. La représentation « textuelle »

2. Les lecteurs-écrivains

2.1. La spécification du problème

2.2. La réalisation du problème

2.3. La spécification des ressources doubles

2.4. La réalisation des ressources doubles

3. La racine carrée

3.1. Construction progressive

3.2. La modification du programme