注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. （中）popl95-基于图可达性的精确过程间数据流分析.pdf

  2. 这篇论文介绍了如何在多项式时间内，通过将一大类程序间数据流分析问题转化为一类特殊的图可达性问题来进行解决，从而实现精确求解的方法。

  3. 所属分类：软件测试

    • 发布日期：2020-06-05
    • 文件大小：1048576
    • 提供者：qq_39350874