公开(公告)号：CN118871886A

公开(公告)日：2024-10-29

申请号：CN202280091893.8

申请日：2022-11-29

Applicant: 微软技术许可有限责任公司

Inventor： C·B·克莱门特 ,  S·K·邓 ,  刘啸宇 ,  N·森达雷桑 ,  A·斯维亚特科夫斯基

IPC: G06F8/30 ,  G06F8/33

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

公开(公告)号：CN118922810A

公开(公告)日：2024-11-08

申请号：CN202280092971.6

申请日：2022-12-27

Applicant: 微软技术许可有限责任公司

Inventor： M·阿拉玛尼斯 ,  傅胜宇 ,  刘啸宇 ,  N·森达雷桑 ,  A·斯维亚特科夫斯基

IPC: G06F8/33 ,  G06F8/36 ,  G06F8/75 ,  G06N3/0455 ,  G06N3/0895 ,  G06F8/41 ,  G06F11/36

Abstract: 代码适配机制自动将粘贴的源代码片段的变量名集成到预先存在的部分源代码程序中定义的变量名中。来自粘贴的源代码片段的变量名用匿名值替换。深度学习模型预测来自预先存在的部分源代码程序的最可能的变量名来替换每个匿名值。深度学习模型在来自各种源代码程序的许多变量使用模式上进行训练，以学习预测来自粘贴的源代码片段的未定义变量名到预先存在的部分源代码程序中的变量名的最可能的映射，从而生成语法上和语义上正确的程序。