Les '''architectures Explicit Token-Store''', qui utilisent une sorte de pile. : lL'opérande est remplacé par deux choses : un pointeur vers le cadre de pile qui contient la donnée et de quoi localiser l'opérande dans la pile. Elle représentent une amélioration assez conséquente des architectures précédentes. Sur ces machines, lorsqu’une fonction ou une boucle s’exécute, elle réserve un cadre de pile et y stocke ses opérandes et ses variables locales. A chaque appel d'une fonction ou à chaque itération d'une boucle, on crée un nouveau cadre pour les opérandes de la dite version. : ainsiAinsi, chaque fonction ou itération de boucle pourra avoir son propre jeu d'opérandes et de variables locales, permettant ainsi l'utilisation de fonctions réentrantes ou récursives et un déroulage matériel des boucles.
Ces Framescadres de pile sont localiséeslocalisés par leur adresse mémoire et les instructioninstructions ont juste à repérer la position dans lale Framecadre de pile. La différence entreavec la pile des architectures usuelles et ces Frames tient dans le fait que les Framescadres de pile ne sont pas placées de façon consécutive dans la mémoirecontiguës, mais peuvent être dispersées n'importe où et n'importe comment (ou presque) en mémoire. Qui plus est, cesles Framescadres de pile ne sont pas organisés dans une pile, avec une politique d'ajout et de retraits de type LIFO. Chaque donnée présente dans laun Framecadre de pile possède des bits de présence, comme toutes les autres données utilisées sur ces architectures.
Dans ces architectures, la mémoire est encore séparée en deux : une mémoire pour les instructions et les slots qui vont avec, et une autre pour les Framescadres de pile. L’organisation est similaire aux architectures dynamiques, à un détail prêt : nosles Framescadres de pile sont stockées dans une mémoire tout ce qu'il y a de plus normale, avec des adresses et tout le reste.
