一种用于程序合成的方法及装置

本申请涉及计算机技术领域，公开一种用于程序合成的方法及装置。该方法包括：获取并筛选可以在可满足性模理论（SMT）求解器中形式化的TensorFlow数学计算表达式；将上述数学表达式进行可满足性模理论编码；编码方法包括广播方法、倒序遍历、多重遍历、双指针法、分治计算、分组处理、展开循环；引入满足程序合成方法的约束条件；使用者提供满足自己期望的TensorFlow程序的输入和输出，最终经过该方法合成出满足输入输出约束的程序。本方法具有更高的合成效率和更强的可扩展性，为程序合成领域提供了新的思路和方法。