论动态数据结构的程序语义

在程序设计语言中，由于语言成份的语义描述不够完整，容易造成动态数据结构的使用混乱与错误，这些问题在编译程度中无法发现，并且在程序执行过程中也很难排除，本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。