O colecţie de articole in care doar cele mai recent adăugat element poate fi eliminat. Ultimele adăugat element este în partea de sus. De bază operaţiuni sunt împinge şi pop. De sus şi isEmpty adesea sunt disponibile, prea. , De asemenea, cunoscut ca "ultima-în, urgenţele" sau LIFO. Definiţie formală: operaţiuni new(), împinge (v, S), top (S) şi popoff (S) pot fi definite cu semantica axiomatice, după cum urmează.

1. new() întoarce o stivă
2. popoff (împinge (v, S)) = S
3. de top (împinge (v, S)) = v

unde S este o stivă şi v este o valoare. Pop operaţiunea este o combinaţie de top, pentru a reveni la valoarea de sus, şi popoff, pentru a elimina valoarea sus.