S-Pascal语言相关硕士博士期刊学术论文

数据流分析是一种非常重要的静态程序分析技术,而指针的使用使倒数的流分析变得更加复杂和困难.该文定义了一个Pascal语言的子语言......