Considerando-se que a memória disponível tenha M posições, que := represente atribuição, em uma estrutura de dados P do tipo pilha, os seguintes algoritmos descrevem corretamente as operações de inserção e remoção. Algoritmo para inserção na pilha P
se topo … M então
topo := topo – 1
P[topo] := novovalor
senão overflow
Algoritmo para remoção da pilha P s
e topo … 0 então
valorrecuperado := P[topo]
topo := topo – 1
senão underflow