| 专利号 | 2025100395146 | 申请日 | 2025-01-10 | 专利名称 | 一种用于程序合成的方法及装置 |
| 授权日 | 2025-04-29 | 专利权人 | 山东大学 | 发明人 | 李子任;王惠中;余仲星 |
| 主分类号 | G06F8/20 | 关键词 | 应用领域 | ||
| 摘要 | 本申请涉及计算机技术领域，公开一种用于程序合成的方法及装置。该方法包括：获取并筛选可以在可满足性模理论（SMT）求解器中形式化的TensorFlow数学计算表达式；将上述数学表达式进行可满足性模理论编码；编码方法包括广播方法、倒序遍历、多重遍历、双指针法、分治计算、分组处理、展开循环；引入满足程序合成方法的约束条件；使用者提供满足自己期望的TensorFlow程序的输入和输出，最终经过该方法合成出满足输入输出约束的程序。本方法具有更高的合成效率和更强的可扩展性，为程序合成领域提供了新的思路和方法。 | ||||
| 创新点 | |||||
| 技术分类 | 标 签 | 战兴产业 | 新一代信息技术 新兴软件和新型信息技术服务 | ||
| 运营方式 | 合作方式 | ||||
| 联系人 | 联系电话 | 电子邮箱 | |||
| 详细说明 | |||||
