Le domaine d'intérêt des travaux touchant le Génie Logiciel, il paraît bien naturel de présenter l'exemple de la pile. On s'intéresse cependant plus ici au mode d'implantation de la pile qu'à sa qualité de type abstrait de données générique.
2. La forme générique de la pile
4. Conclusion
La paramétrisation de la pile par le choix de représentation conduit à une décomposition du module pile à deux niveaux :

Si on néglige la recopie des modules génériques dans le cas de LTR3, on a de toute manière à manipuler cinq unités de programme :

Au regard de la très faible complexité du problème, on peut juger cette décomposition insatisfaisante : on a de fait beaucoup compliqué un problème très simple – sans parler du temps d'exécution supplémentaire qu'introduit cette décomposition, par de nombreux empilements d'appels de procédures.
L'idée donc est de maintenir la décomposition à deux niveaux, mais de ne pas utilise le langage, parce que les concepts qu'il propose sont d'un trop haut niveau par rapport à la dimension du problème auquel on s'attache.
Ceci a deux avantages :
incrémenter-pointeur et décrémenter-pointeur, on a logiquement une grande ressemblance, dont on peut vérifier de visu qu'elle se retrouve dans le code si ces définitions apparaissent "à proximité" l'une de l'autre.