没有合适的资源?快使用搜索试试~ 我知道了~
matlab信任模型代码-zygote:编程语言领域的探索:概念,打字,形式验证
共11个文件
rkt:8个
md:2个
license:1个
需积分: 9 0 下载量 95 浏览量
2021-05-22
13:53:50
上传
评论
收藏 18KB ZIP 举报
温馨提示
matlab信任模型代码合子计划 Zygote是一个个人探索项目,旨在可能改进软件的开发方式。 目前,该存储库仅包含目标编写的内容,但很快就会有一些代码出现。 本文档介绍了5个重点领域: 惯用翻译-设计一种可以翻译成任意一种语言的语言,其结果代码看起来像是有经验的程序员编写的 渐进式细化类型/合同-逐步表达函数的前提条件,后置条件和不变式,并证明其余部分和单元测试 受限的计算模型/鲁棒的效果系统-控制子例程的表达能力,使子例程的推理更容易并推断其属性 用户定义的子结构类型-控制程序中的值流,断言最终要对它们进行某些操作 受限的谐音语法-将代码视为类型化数据,能够知道宏应用程序将返回正确的构造 1.惯用语翻译 当我们考虑程序代码时,会想到两种使用它的可能方式:解释和编译。 Wikipedia(在“编译器:原理,技术和工具”一书之后)将编译定义为编程语言之间的任何翻译过程。 通常,它被理解为从高级编程语言(如Haskell,Java甚至C)到低级编程语言(如汇编程序或机器代码)的转换。 并非总是如此:有一些反编译器,它们试图将低级代码转换回更高级别,尝试重建尽可能多的抽象,并尝试将一种高级
资源推荐
资源详情
资源评论
收起资源包目录
zygote-master.zip (11个子文件)
zygote-master
noizy
c-syntax-render.rkt 6KB
c-syntax-defs.rkt 7KB
c-types.rkt 3KB
c-syntax.rkt 241B
test-c.rkt 932B
noizy-test.rkt 476B
README.md 5KB
c-semantics.rkt 4KB
utils.rkt 459B
LICENSE 1KB
README.md 19KB
共 11 条
- 1
资源评论
weixin_38735887
- 粉丝: 3
- 资源: 902
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功