JS尼斯 swMATH ID: 37814 软件作者： 韦塞林·雷切夫；马丁·维切夫（Martin Vechev）；安德烈亚斯·克劳斯 说明： 从“大代码”预测程序属性。我们提出了一种从大规模代码库（也称为“大代码”）预测程序属性的新方法。我们的方法首先从现有数据中学习概率模型，然后使用该模型预测新的、看不见的程序的属性。我们工作的关键思想是将输入程序转换为一种表示，使我们能够将推断程序属性的问题表述为机器学习中的结构化预测。该公式使我们能够利用强大的概率图形模型，如条件随机场（CRF），以便对程序属性进行联合预测。作为我们的方法的一个示例，我们构建了一个名为JSNice的可伸缩预测引擎，用于解决JavaScript上下文中的两类问题：预测标识符的（语法）名称和预测变量的（语义）类型注释。在实验上，JSNice预测了63个正确的名称 主页： https://dl.acm.org/doi/10.1145/2676726.2677009 关键词： 大代码;闭包编译器;条件随机场;JavaScript脚本;姓名;程序属性;结构化预测;类型 相关软件： SerAPI公司;PCM库;ML4PG系列;OpenNMT（OpenNMT）;亚当;github;Lucene公司;HoTT公司;Roosterize公司;精益;存档正式证据;布鲁;PyTorch公司;Coq公司;梅林;类型脚本;JavaScript脚本 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 从“大代码”预测程序属性。 Zbl 1346.68063号韦塞林·雷切夫;马丁·维切夫;安德烈亚斯·克劳斯 2015 全部的 前5名7位作者引用 1 米洛什·格里戈里奇。 1 安德烈亚斯·克劳斯 1 李俊毅·杰西 1 聂鹏宇 1 卡尔·帕尔姆斯科格 1 韦塞林·雷切夫 1 Vechev，Martin T。 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文