首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

用于源代码生成的约束解码 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:微软技术许可有限责任公司

摘要:约束解码技术在解码过程的每个时间步骤中将词元约束合并到束搜索中,以生成在句法和语义上正确的可行的候选序列。词元约束标识应该出现在候选序列中的源代码词元或词元序列。词元约束是通过检查在每个解码步骤处预测的词元是否适用于基于编程语言的语法的产生规则、部分序列的句法正确性和或静态类型正确性的部分解而被生成的。

主权项:1.一种系统,包括:一个或多个处理器;以及存储器,所述存储器存储被配置为由所述一个或多个处理器执行的一个或多个程序,所述一个或多个程序包括用于执行以下动作的指令:访问表示要求解码成完整的源代码片段的、部分形成的源代码片段的序列数据;生成多个部分解以作为候选,以完成所述部分形成的源代码片段,部分解包括词元的有序序列,其中词元以先前生成的词元为条件;从每个部分解的静态代码分析获得一个或多个词元约束;执行深度学习解码器模型以预测针对每个部分解的词元概率;从所述词元概率并且从所述一个或多个词元约束生成接下来的词元以附加到每个部分解;利用所述接下来的词元来扩展每个部分解;以及选择满足大多数所述词元约束的一个或多个部分解以作为候选序列,以完成所述部分形成的源代码片段。

全文数据:

权利要求:

百度查询: 微软技术许可有限责任公司 用于源代码生成的约束解码

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

相关技术
相关技术
相关技术
相关技术