Kolekce položek, v nichž pouze nejvíce nedávno přidané položky mohou být odstraněny. Poslední přidaná položka je nahoře. Základní operace jsou push a pop. Také jsou k dispozici, často nahoře a isEmpty. , Také známý jako "poslední dovnitř, první ven" nebo LIFO. Formální definice: operace new(), push (v, S), top (S) a popoff (S) může být definován s Axiomatická sémantika.

1. new() vrátí zásobník
2. popoff (push (v, S)) = S
3. vrcholu (push (v, S)) = v

kde je zásobník a v je hodnota. Pop operace je kombinací nahoře, vrátí nejvyšší hodnotu a popoff, odstranit nejvyšší hodnotu.