作者:巴里·k·罗森
ACM通信，1977年10月，第20卷第10期，712-724页
10.1145/359842.359849
评论
与主要使用低级中间文本相比，高级数据流分析基本上在源级处理程序，并利用解析树中隐含的控制流信息。高级流程分析的需求来自于最近关于程序认证和优化的先进方法的工作的几个方面。本文提出了一种简单的高层数据流分析通用方法，该方法允许自由使用转义和跳转语句，避免在编译大型程序时使用大图，方便更新数据流信息以反映程序的变化，并派生出新的全局信息，有助于解决许多常见的全局流分析问题。给出了活变量分析的一个实例应用。许多涉及的图都是在编译任何程序之前构造和分析的，从而避免了低级方法在编译时重复产生的某些成本。
本文的全文是优质内容
没有发现记录
登录阅读全文
需要访问吗?
请选择下面的一个选项以访问高级内容和功能。
创建一个网上帐户
如果你已经是ACM会员，通信订阅者或数码图书馆订阅者，请设置网页帐户，以浏览本网站的优质内容。
参加ACM
成为ACM的会员，可以充分利用ACM卓越的计算信息资源、网络机会等优势。
订阅ACM杂志通讯
获得50多年的中华中医药学会内容的完整访问权限，并每月获得杂志印刷版。
购买这篇文章
非会员可以购买这篇文章或刊登这篇文章的杂志。
