Considere um tipo abstrato de dados implementado com o auxílio de uma pilha, de dois registradores e de um acumulador com as operações

push VALOR: Topo:=Topo+1; Pilha[Topo]:=VALOR;

push ACC : Topo:=Topo+1; Pilha[Topo]:=ACC;

add : ACC := REG1+REG2;

pop REG1 : REG1:= pilha[Topo]; Topo:=Topo-1;

pop REG2 : REG2:=pilha[Topo]; Topo:=Topo-1;

A sequência de operações

push 7; pop REG1; push 9; push 11; pop REG2; add; push ACC; pop REG2; add; push ACC

deixará no topo da pilha o valor