文件名称:
juvix：更优雅的语言，更文明的时代-源码
开发工具:
文件大小: 799kb
下载次数: 0
上传时间: 2021-02-04
详细说明：尤维克斯
总览
将高级前端语法，相关线性类型的核心语言，整个程序优化系统和可后端交换的执行模型综合到一个统一的堆栈中，以编写可正式验证，可高效执行的智能合约，该合约可部署到各种应用程序中分布式分类帐。
Juvix旨在解决尝试编写和部署去中心化应用程序时遇到的问题，以及我们在整个生态系统中观察到的问题：有效验证的难度，组成复杂性的上限，执行成本难以辨认以及锁定-在特定的后端。 为了做到这一点，Juvix借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果，我们认为这些研究在这些问题上具有高度的适用性。
Juvix的编译器体系结构是为智能合约用例的特殊要求和经济折衷而专门设计的，
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
