文件名称：matlab信任模型代码-zygote:编程语言领域的探索：概念，打字，形式验证
文件大小：18KB
文件格式：ZIP
更新时间：2024-06-11 07:40:30
系统开源
matlab信任模型代码合子计划 Zygote是一个个人探索项目，旨在可能改进软件的开发方式。 目前，该存储库仅包含目标编写的内容，但很快就会有一些代码出现。 本文档介绍了5个重点领域： 惯用翻译-设计一种可以翻译成任意一种语言的语言，其结果代码看起来像是有经验的程序员编写的 渐进式细化类型/合同-逐步表达函数的前提条件，后置条件和不变式，并证明其余部分和单元测试 受限的计算模型/鲁棒的效果系统-控制子例程的表达能力，使子例程的推理更容易并推断其属性 用户定义的子结构类型-控制程序中的值流，断言最终要对它们进行某些操作 受限的谐音语法-将代码视为类型化数据，能够知道宏应用程序将返回正确的构造 1.惯用语翻译 当我们考虑程序代码时，会想到两种使用它的可能方式：解释和编译。 Wikipedia（在“编译器：原理，技术和工具”一书之后）将编译定义为编程语言之间的任何翻译过程。 通常，它被理解为从高级编程语言（如Haskell，Java甚至C）到低级编程语言（如汇编程序或机器代码）的转换。 并非总是如此：有一些反编译器，它们试图将低级代码转换回更高级别，尝试重建尽可能多的抽象，并尝试将一种高级
【文件预览】：
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)