Tout d'abord, la spécification des listes fournie aux élèves :
Puis l'extension demandée avec les opérations supplémentaires :
Exercice sur les listes du premier TD de FISDA
| CentraleSupélec | LMF, UMR CNRS 9021 |
| Département informatique | Laboratoire Méthodes Formelles |
| Bât Breguet, 3 rue Joliot-Curie | Bât 650 Ada Lovelace, Université Paris Sud |
| 91190 Gif-sur-Yvette, France | Rue Noetzlin, 91190 Gif-sur-Yvette, France |
Tout d'abord, la spécification des listes fournie aux élèves :
Puis l'extension demandée avec les opérations supplémentaires :