[发明专利]基于可认证数据结构的区块链语义分析的方法有效
| 申请号： | 202110260177.5 | 申请日： | 2021-03-10 |
| 公开（公告）号： | CN113011978B | 公开（公告）日： | 2023-05-26 |
| 发明（设计）人： | 贺新征;光焱;李继 | 申请（专利权）人： | 河南大学 |
| 主分类号： | G06Q40/04 | 分类号： | G06Q40/04;G06Q20/36;G06Q20/40 |
| 代理公司： | 西安研创天下知识产权代理事务所(普通合伙) 61239 | 代理人： | 杨凤娟 |
| 地址： | 475000 河南省开封*** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了基于可认证数据结构的区块链语义分析的方法，通过完整展示将可认证数据结构的操作性语义转化为指示性语义的过程，由于monad概念过于抽象，所以本文重点描述了auth和unauth代码的分析过程，以具体实例展示如何将非纯函数组合在一起。采用monad方法可直接借助源编译器语言实现新的语言功能，因此可避免修改编译器的语法树，同时便于在不同程序编译器之间移植新的语言功能。 | ||
| 搜索关键词： | 基于 认证 数据结构 区块 语义 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于河南大学，未经河南大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110260177.5/，转载请声明来源钻瓜专利网。
