Static Determination of Dynamic Properties of Recursive Procedures

Static Determination of Dynamic Properties of Recursive Procedures
复制标题

递归过程动态性质的静态确定

DOI：
--
复制
发表时间：
1977
期刊：
Formal Description of Programming Concepts
影响因子：
--
通讯作者：
R. Cousot
R. Cousot
中科院分区：
--
文献类型：
--
作者：
P. Cousot;R. Cousot

文献摘要

被引文献

相似文献