申请/专利权人：四川大学

申请日：2023-07-06

公开（公告）日：2024-04-02

公开（公告）号：CN116820564B

主分类号：G06F8/75

分类号：G06F8/75;G06F8/41

优先权：

专利状态码：有效-授权

法律状态：2024.04.02#授权;2023.10.24#实质审查的生效;2023.09.29#公开

摘要：本发明涉及程序语言的统一形式语义化方法，属于电数字数据处理技术领域，包括程序形式语义化的一般化数学方法、形式表达语义运算的构建方法、抽象机的形式语义运算方法、基于形式语义模块生成过程思维类型规范化、结构化、形式化方法。使得程序语言的统一形式语义化方法不受制于程序语言的主观行为影响，不受制于不同编程语言的语法影响，可以提炼出程序的特征，且保留程序的所有功能，使得非智能技术专业的专家也可以对这段代码进行理解和分析，进而在相应领域下进行判断或决策。

主权项：1.程序语言的统一形式语义化方法，其特征在于，包括以下步骤：S1、首先需要利用形式语义学将程序语言的语言成分抽象化；即，用抽象的方法描述语言中每一成分的执行效果，以免所描述的语义依赖于该程序语言实现时所用的具体计算机；从而得到一个能够完整描述程序语言的形式语言；S2、定义形式语言的语义运算法则，以及关联组合的逻辑结构和思维类型的归约关系，使得程序与逻辑结构、逻辑结构与思维类型对应；S3、利用形式语言，通过定义三类转移规则：分析、求值、执行，将程序语言的语法表示成抽象的形式，来定义形式语义的运算法则，即构造出像计算机执行程序语言一样能够执行形式语言的抽象机；S4、在将程序语言的逻辑结构用深度学习中程序模块的指令进行扩充，并将之形式语义化后得到更广的形式化逻辑结构；于是，程序语言逻辑结构的关联组合运算的转移过程可表示为形式化的逻辑结构通过抽象机进行语义运算而得到的格局间的归约关系；即，形式化的逻辑结构最终可通过形式语义运算得到颗粒度更大的形式语义模块；从而，能够在形式化的逻辑结构，思维类型和程序之间建立对应关系。

全文数据：

权利要求：

百度查询： 四川大学 程序语言的统一形式语义化方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD