Les opérateurs de définition
opérateur : pos-accu
ATM ::= ATM pos-accu
pos-accu -> NOM REP
L'opérateur pos-accu pose un « point d'accumulation » sur la forme évaluée d'une représentation – il enrichir le phylum ATM.
opérateur : def-accu
TRM ::= TRM def-accu
def-accu -> NOM ENV
L'opérateur def-accu sert à désigner le point de stockage de l'information relative au « point d'accumulation » de nom NOM : on y range l'"adresse physique" du point d'insertion dans la forme évaluée et le schéma formel de décompilation défini par pos-accu.
opérateur : accu
TRM ::= TRM accu
accu ->
accu est là pour stocker l'information.
Les opérateurs d'utilisation
opérateur : ref-accu
TRM ::= TRM ref-accu
ref-accu -> NOM ENV
ref-accu est à def-accu ce que ref est à def : il permet d'établir une distinction dans les références, vers des définitions "classiques" (def) ou d'accumulation (def-accu).
opérateur : use-accu
ATM ::= ATM use-accu
use-accu -> NOM ENV
use-accu est l'utilisation, dans un environnement local ENV, du « point d'accumulation » de nom NOM.
opérateur : lst-accu
ATM ::= ATM lst-accu
lst-accu -> ATM*...
lst-accu est à pos-accu ce que lst est à lst-init :
- pour une évaluation en cours, il interrompt provisoirement cette évaluation ;
- pour une évaluation à venir, il remplace le schéma de décompilation courant par la liste des atomes qui le définit.
Le couple pos-accu/lst-accu présente le même type d'évaluation que le couple lst-init/lst, mais l'évaluation est ici faite de façon incrémentale, au fur et à mesure des utilisations use-accu qu'on évalue.