×
韦塞林·雷切夫;马丁·维切夫;安德烈亚斯·克劳斯

从“大代码”预测程序属性。 （英文） Zbl 1346.68063号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。111-124 (2015).

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲15 编程语言理论
68T05型 人工智能中的学习和自适应系统

关键词：

大代码;闭包编译器;条件随机场;JavaScript脚本;姓名;程序属性;结构化预测;类型

软件：

JavaScript脚本;梅林;类型脚本;JS尼斯
PDF格式BibTeX公司 XML格式引用
\textit{V.Raychev}等人，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。111-124（2015；Zbl 1346.68063）
全文： 内政部