买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京计算机技术及应用研究所申请的专利一种结合8114准则的同步数据流语言可信翻译方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119597276B 。

龙图腾网通过国家知识产权局官网在2026-01-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411499068.9，技术领域涉及：G06F8/35；该发明授权一种结合8114准则的同步数据流语言可信翻译方法是由华岳桐;张建伟;贾张涛;张霄霄;李浩宇;冯大成;安恒;李福川;孟程昊;陈莉;王磊;王云则;张翠婷设计研发完成，并于2024-10-25向国家知识产权局提交的专利申请。

本一种结合8114准则的同步数据流语言可信翻译方法在说明书摘要公布了：本发明涉及一种结合8114准则的同步数据流语言可信翻译方法，属于代码生成领域。本发明通过对Lustre源代码词法、语法分析和翻译等步骤获取Ctemp中间语言的抽象语法树；遍历Ctemp抽象语法树，针对树结构中的语句中控制流语句、赋值语句设计翻译方法；遍历语句中的表达式，设计添加强制转化的翻译方法，确保语句在语义正确的同时，不存在隐式类型转化；扩展了关于Cltype中类型关系的定理，用于验证类型操作；扩展关于Ctemp语义的强制转化和二元操作的定理，实现语义形式化验证。本发明大幅度提升代码生成工具所生成的C代码对GJB8114规范的满足性。

本发明授权一种结合8114准则的同步数据流语言可信翻译方法在权利要求书中公布了：1.一种结合8114准则的同步数据流语言可信翻译方法，其特征在于，该方法包括如下步骤： S1、利用同步数据流语言翻译工具L2C从Lustre源码中生成中间语言Ctemp抽象语法树； S2、对Ctemp抽象语法树中表达式层进行翻译：在表达式层中检测并消除隐式类型转化； S3、遍历抽象语法树中的语句层、函数层、程序层完成完整的翻译；在语句层，检测并消除语句与表达式衔接部分的隐式类型转化； S4、遍历翻译后的Ctemp抽象语法树，将抽象语法树输出为C代码； S5、对翻译过程进行形式化验证，证明翻译前后的程序具有等价性，从而保证该翻译过程不会影响生成代码的正确性； 其中， 所述S2具体包括： S21、创建递归函数safe_type_ofe=ty实现对表达式数据类型进行求解，e为待求解表达式，ty为求解得到的e的数据类型； S22、创建递归函数trans_expre,ty=e’用于将隐式类型转换表达式翻译为显式类型转换表达式，消除表达式层的隐式类型转换，e为表达式，ty为其上下文类型，e’为修改后的表达式。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京计算机技术及应用研究所，其通讯地址为：100854 北京市海淀区永定路51号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。