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

搜索资源列表

  1. 基于模块单子语义的动态程序切片

  2. 基于模块单子语义的动态程序切片，张迎周，徐宝文，本文提出了一种新的动态切片方法──模块单子动态切片，它基于程序的模块单子语义。首先通过单子转换器，将切片这一类计算抽象成

  3. 所属分类：其它

    • 发布日期：2020-02-01
    • 文件大小：357376
    • 提供者：weixin_38609571

  1. 一种基于模块单子语义的动态程序切片方法

  2. 一种基于模块单子语义的动态程序切片方法

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：184320
    • 提供者：weixin_38501916