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

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