一种自动化的验证式代码提升的方法与装置

本发明公开了一种自动化的验证式代码提升的方法与装置，所述方法包括：获取输入的源语言代码程序，然后利用预设的GAI模型将其处理成以Python作为中间表达来生成源程序的Python程序描述；基于预设的模式匹配将所述Python程序描述转换为DSL的具体语法，以生成目标代码；GAI模型还被配置为：根据预先提供目标语言的使用手册和目标语言生成目标语言的算子模板，并形成算子模板库，以用于模式匹配；在生成所述目标代码后，使用定理证明器对所述目标代码进行验证，以检查其对于所有程序输入是否与源程序语义等价；其有益效果是：本发明使得代码提升更加自动化、对不同的DSL泛化能力更强和正确性更高。