最近更新┆推荐软件┆热门软件 兵器玩家┆设为首页┆加入收藏┆登录┆注册
　　　　　　　　　　　　　






您当前位置：兵器玩家 → 软件下载 → 编程软件 → PALE 1.0-9下载

PALE 1.0-9

论坛转帖 　　　 用户评论

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 编程软件
授权方式：共享版
软件大小：117 KB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　
更新时间：2013-03-09 12:27:00
下载统计：

  • 好的评价　如果您觉得好，就请您
      100%(25)
  • 差的评价　如果您觉得差，就请您
      0%(0)

PALE 1.0-9下载地址

PALE 1.0-9下载

PALE 1.0-9软件简介

最新发布的相关软件：
  • PALE 1.0-9
  • PaletteMaker 1.3
  • PaletteConverter 1.0测试版_PaletteConverter 1.0 Beta


    • 指针的断言逻辑引擎

    指针声明的逻辑是断言堆结构的命令式语言来表达的符号。它允许程序员指定前和后的程序，条件，循环不变量，和其他断言，弱的一元二阶逻辑的图形类型 - 逻辑，它允许许多常见的数据结构来表达。该逻辑是可判定的神器出山:www.shenqi73.com，这意味着，可以自动进行验证断言。主要的目标应用是安全的关键数据类型的算法。

    PALE - “指针”的断言逻辑引擎 - 是一个完整的实施该技术的基础上的 MONA 工具。分析注释的程序，并报告空指针引用，内存泄漏和侵犯的断言和图形类型的错误。

    得到浅一试，以便充分评估其能力！


    最新发布的相关软件：
  • PALE 1.0-9
  • PaletteMaker 1.3
  • PaletteConverter 1.0测试版_PaletteConverter 1.0 Beta

    • 上一个软件：JavaCOP

    下一个软件：jQueryHandler 0.1.0

    PALE 1.0-9下载地址

    PALE 1.0-9下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论，得分 0 分，平均 0 分    查看完整评论

    栏目导航
    相关软件下载