技术总结
本发明提出了一种基于代数演算的中间代码优化方法，包括：高级语言转换步骤，将输入的源代码、其他形式的中间语言程序转换成为所述优化方法使用的中间语言程序，所述其他形式的中间语言指与所述优化方法所使用的中间语言不同的中间语言；优化步骤，向用户提供优化策略定制，允许用户提供目标平台硬件特性，定制特别的优化策略，使用优化策略对所述高级语言转换步骤的中间语言进行优化，得到经过优化的中间代码；目标代码生成步骤，将经过优化的中间代码生成目标平台的可执行机器码。本发明基于形式化代数语义，所有的输入代码都可以在代数规则的支持下进行等价变化。代数规则的合理性，保证了转换的正确性。
技术研发人员：黄滟鸿;卜祥兴;史建琦;何积丰;李昂;方徽星
受保护的技术使用者：华东师范大学
文档号码：201610456922
技术研发日：2016.06.22
技术公布日：2016.11.16