计算机中源代码到目标代码的转换方法和系统

摘要

本发明涉及计算机中源代码到目标代码的转换方法(200)。所述源代码的属性由源代码类型系统决定，所述源代码类型系统包含应用于所述源代码的构成成分的规则的集合，所述方法包含：定义(201)类型封装，以将目标代码类型系统的类型导入所述源代码类型系统；虚拟化(202)所述类型封装以得到虚拟化表示，从而在至少一个评估模式下评估所述虚拟化表示；具体化(203)所述类型封装的所述虚拟化表示为所述至少一个评估模式中的特定评估模式，从而基于所述特定评估模式提供所述源代码的中间表示；利用与所述中间表示的新节点类型关联的新对象扩展(204)所述源代码的所述中间表示；以及基于所述源代码的扩展后的中间表示生成(205)所述目标代码。