T/CIE 095-2020 区块链智能合约形式化表达

T/CIE 095-2020 Blockchain smart contract formalized expression

团体标准 中文(简体) 现行 页数:0页 | 格式:PDF

基本信息

标准号
T/CIE 095-2020
标准类型
团体标准
标准状态
现行
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2020-12-21
实施日期
2021-01-01
发布单位/组织
-
归口单位
中国电子学会
适用范围
主要技术内容:本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用,也可为区块链厂商和用户构建智能合约平台参考

发布历史

文前页预览

当前资源暂不支持预览

研制信息

起草单位:
北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设 促进会、天津蛟图信息科技有限责任公司、北京航天航空大学、中化能源股份有限公司、北京文 章无忧信息科技有限公司、贝壳找房(北京)科技有限公司、京东数字科技集团
起草人:
朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华
出版信息:
页数:- | 字数:- | 开本: -

内容描述

暂无内容

定制服务

    相似标准推荐

    更多>