Datos Punteros e Implementación Dinámica de Pilas

function cima(p:in pila) return elemto;
--pre: (p=p0) and (p0/=VACIA)
--post: cima(p0)=CIMA(p0)
function esVacia(p:in pila) return boolean;
--post: esVacia(p)=VACIA?(p)
function altura(p:in pila) return natural;
--post: altura(p)=ALTURA(p)
procedure asignar(pout:out pila; pin:in pila);
--post: pout=pin, duplicando la representación en memoria
function "="(p1,p2:in pila) return boolean;
--post: p1=p2 si y solo si son iguales sus representaciones en
-- memoria
procedure liberar(p:in out pila);
--post: p=VACIA, y además libera la memoria utilizada
-- previamente por p
….