-
公开(公告)号：CN116149671B
公开(公告)日：2023-07-04
申请号：CN202310437229.0
申请日：2023-04-23
Applicant: 中国科学院软件研究所
Abstract: 本申请提出一种用于翻译智能合约语言的方法和装置、电子设备、计算机可读存储介质，所述方法包括响应于加载的所述智能合约语言编写的源代码，生成规范化的抽象语法树；根据所述智能合约语言的类型定义，对所述抽象语法树中的复合数据类型表达式节点进行翻译；根据所述智能合约语言的函数定义，对所述抽象语法树中的函数节点进行翻译；根据可信编译工具的源语言规范，对所述抽象语法树中的其他节点进行翻译，其中，所述其他节点包括所述抽象语法树中除去复合数据类型表达式节点和函数节点外的节点。根据本申请的实施例，实现了对支持复合数据类型和多返回值函数的智能合约语言所编写的程序的翻译，以及对复合数据类型和函数翻译过程的形式化验证。
-
公开(公告)号：CN116149671A
公开(公告)日：2023-05-23
申请号：CN202310437229.0
申请日：2023-04-23
Applicant: 中国科学院软件研究所
Abstract: 本申请提出一种用于翻译智能合约语言的方法和装置、电子设备、计算机可读存储介质，所述方法包括响应于加载的所述智能合约语言编写的源代码，生成规范化的抽象语法树；根据所述智能合约语言的类型定义，对所述抽象语法树中的复合数据类型表达式节点进行翻译；根据所述智能合约语言的函数定义，对所述抽象语法树中的函数节点进行翻译；根据可信编译工具的源语言规范，对所述抽象语法树中的其他节点进行翻译，其中，所述其他节点包括所述抽象语法树中除去复合数据类型表达式节点和函数节点外的节点。根据本申请的实施例，实现了对支持复合数据类型和多返回值函数的智能合约语言所编写的程序的翻译，以及对复合数据类型和函数翻译过程的形式化验证。
-
Search Results
2
records
(took 0.024 seconds)
