文件名称:
不锈：高阶Scala程序的验证框架和工具-源码
开发工具:
文件大小: 22mb
下载次数: 0
上传时间: 2021-02-05
详细说明：不锈
编程语言子集的验证框架。 支持合同驱动的验证以及具有本地命令性功能的高阶功能程序的终止检查（有关所支持片段的更多详细信息，请参见和 ）。
文献资料
首先，请观看视频：
：， ，，，
或文档章节，例如：
发展历程
要构建项目，请运行sbt universal:stage 。 如果一切顺利，则会生成二进制文件： frontends/scalac/target/universal/stage/bin/stainless-scalac 。 文档链接中提供了更多信息。
其他连结
不锈钢网站： :
EPFL-LARA网站： ：
执照
Stainless是根据Apache 2.0许可发行
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
