ion::::特点.堆栈的基本特点：
抽象定义.以下是堆栈的VDM（""）：函数签名：此处的N代表某个元素（如自然数），而formula_1表示集合求并。语义：
软件堆栈.堆栈可以用数组和链表两种方式实现，一般为一个堆栈预先分配一个大小固定且较合适的空间并非难事，所以较流行的做法是codice_1结构下含一个数组。如果空间实在紧张，也可用链表实现，且去掉表头。这里的例程是以C语言实现的。
阵列堆叠.Section