Types de données abstraits

Dans cet exercice, nous donnerons deux implantations entièrement différentes du même type de données (à savoir les piles). Nous verrons comment les modules permettent d'utiliser un type de donnée sans connaître son implantation.

1.

Définir un module PileVect de signature PILE (cf. 5) dont l'implantation utilise un vecteur plutôt qu'une liste chainée.

2.

Comment définir la fonction concat de l'exercice 4 de manière indépendante de l'implantation.

3.

Montrer que Pile et PileVect ne sont pas ``équivalents''.

4.

Définir le module PileListe de signature PILE pour qu'il soit équivalent à PileVect tout en utilisant les listes chaînées d'.