您当前位置:兵器玩家软件下载编程软件F7 1.0下载

F7 1.0

论坛转帖     用户评论

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

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

F7 1.0下载地址

F7 1.0下载

F7 1.0软件简介

最新发布的相关软件:


一个增强typechecker为F#编程语言

F7的开发是一个的增强typechecker为F#编程语言。 F7支持静态检查与细化类型的属性表示。我们的动机是为了检查各种安全性能的F#实现代码输入。

的的F7 typechecker使程序员来表达和静态检查重?nement的神器出山:www.shenqi73.com类型在F#编写的程序。目前执行的typechecker仅支持F#的一个子集,最适合类型的注释提供一定的成语。

要使用typechecker,程序员必须定义F7 thex程序中的每个F#模块的接口。 F7接口有苏X。FS7,以区别于正常F#接口(即苏X。FSI),他们可能包含F#类型系统外的类型。 F#模块有苏X。fs和包含原封不动?F#代码。在我们目前的做法,全部重新nement类型注释必须在给定的在F7接口。

给定的F#的模块M.fs与一个F7接口M.fs7,typechecker可以调用两种方式。首先,它可以调用的genfsi?公司产生F#接口M.fsi删除全部重新nements,:

f7.exe genfsi M.fs7

其次,它可以对声明的类型在M.fs7与类型检测M.fs调用。

f7.exe M.fs7 M.fs

在一般情况下,这些命令行包含了一系列的F#模块和F7接口,包括所有的库模块的接口。一个特殊的库的接口,称为pervasives.fs7,宣布共同F#的类型,如整数,字符串,布尔值,列表,和他们共同的运营商,如算术运算和逻辑连接词。这个库可以扩展到包括F#程序需要使用的运营商。

要求:

路<框架2.0或更高版本。
F#编译器,版本1.9.6.2
Z3 SMT求解器,版本1.3.6


最新发布的相关软件:

F7 1.0下载地址

F7 1.0下载
广告赞助

随便看看

网友评论

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