1. L'objectif
2. La réponse
4. L'état de la science dans le domaine
6. Le choix de la Représentation Interne
8. La référence
Par rapport au problème initial – la répétition de texte – on peut juger qu'on n'a fourni qu'une réponse partielle. En effet il peut exister des liens sémantiques entre deux éléments différents d'un programme, c'est-à-dire deux éléments qui n'ont pas le même schéma de décompilation. Un exemple typique est la variable et son type ; les deux objets sont différents à tout point de vue (en particulier ils ne sont pas reconnus par le même identificateur) et pourtant on ne saurait utiliser une variable en en ignorant le type.
Il est alors nécessaire d'introduire la possibilité de déclarer des définitions groupées. Une idée simple consiste à proposer un constructeur de structure ("record") grâce auquel on accède aux divers aspects d'un même concept – ses « propriétés » – au travers des champs de la structure. Par exemple une variable est une structure à deux champs : le champ « nom » et le champ « type » ; on accède au nom d'une variable « var » par « var.nom » et à son type par « var.type ». On peut trouver à ce choix un défaut majeur qui est qu'on perd la vision uniforme des objets manipulés ; on a en effet dans ce cas deux types d'objets : les opérateurs simples et les structures.
Dans l'optique d'uniformiser les concepts, on modifie alors légèrement la notion de « structure » : il s'agit toujours d'une liste de champs, la différence étant qu'un champ de la structure ne définit pas une « zone mémoire » de la structure de données mais une fonction. Accéder à un champ de l'objet du type « structure » c'est d'abord accéder à l'une des fonctions applicables sur cet objet. Si l'on veut maintenant définir une « zone mémoire » sur cet objet, il faut définir deux champs : un champ de lecture de la « zone » et un champ de mise à jour (écriture) de cette « zone » ; il faut ensuite définir un « point d'accumulation » des données qui conserve la valeur persistante du champ : ce « point » n'est pas accessible de l'utilisateur.