Constructing the Procedure Call Multigraph

Constructing the Procedure Call Multigraph
复制标题

构建过程调用多重图

DOI:
10.1109/32.54302
复制
发表时间:
1990
期刊:
IEEE Trans. Software Eng.
影响因子:
--
通讯作者:
K. Kennedy
K. Kennedy
中科院分区:
--
文献类型:
--
作者:
D. Callahan;A. Carle;Mary W. Hall;K. Kennedy

文献摘要

被引文献

相似文献

为允许过程参数的语言构造精确调用多图的一种算法,扩展了B. Ryder的方法(见同上,第5卷,第5期)。3, p.216-225(1979))处理递归,提出。如果假设程序中任何过程的过程参数个数有一个恒定的上界,则算法是程序中过程总数的多项式。>
An algorithm for constructing a precise call multigraph for languages that permit procedure parameters, extending the method of B. Ryder (see ibid., vol.5, no.3, p.216-225 (1979)) for handling recursion, is presented. If it is assumed that there is a constant upper bound on the number of procedure parameters to any procedure in the program, then the algorithm is polynomial in the total number of procedures in the program. >