Program Analysis and Machine Learning: A Win-Win Deal

机译：程序分析与机器学习：双赢协议

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give an account of our experiences working at the intersection of two fields: program analysis and machine learning. In particular, we show that machine learning can be used to infer annotations for program analysis tools, and that program analysis techniques can be used to improve the efficiency of machine learning tools.

机译：我们介绍了我们在两个领域的交集中的工作经验：程序分析和机器学习。特别是，我们证明了机器学习可用于推断程序分析工具的注释，并且程序分析技术可用于提高机器学习工具的效率。

著录项

来源
《Programming languages and systems》|2011年|p.1-2|共2页
会议地点 Kenting(CT);Kenting(CT)
作者
Aditya V. Nori; Sriram K. Rajamani;
展开▼
作者单位

Microsoft Research India;

Microsoft Research India;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序设计、软件工程;
关键词

相似文献

外文文献
中文文献
专利

1. Comparison between two programs for image analysis, machine learning and subsequent classification [J] . Ribeiro Gabrielly Pereira, Endringer Denise Coutinho, De Andrade Tadeu Uggere, Tissue and Cell . 2019,第期

机译：两个程序分析，机器学习和后续分类的比较
2. Metabolomics and machine learning: explanatory analysis of complex metabolome data using genetic programming to produce simple, robust rules. [J] . Kell DB Molecular biology reports . 2002,第1a2期

机译：代谢组学和机器学习：使用基因编程对复杂的代谢组数据进行解释性分析，以产生简单，可靠的规则。
3. MIXED INTEGER PROGRAMMING MODELS FOR MACHINE LEARNING AND DISCRIMINANT ANALYSIS [J] . Lee EK., Paterson D., Gallagher R. Zeitschrift fur Angewandte Mathematik und Mechanik . 1996,第s3期

机译：机器学习和判别分析的混合整数规划模型
4. Program Analysis and Machine Learning: A Win-Win Deal [C] . Aditya V. Nori, Srirarn K. Rajamani Static analysis . 2011

机译：程序分析与机器学习：双赢协议
5. A STATISTICAL ANALYSIS OF NEW DEAL ECONOMIC PROGRAMS IN THE FORTY-EIGHT STATES, 1933-1939. [D] . READING, DON CARDON. 1972

机译：1933-1939年在48个州进行的新交易经济计划的统计分析。
6. Programmed learning in medical education. An experimental comparison of programmed instruction by teaching machine with conventional lecturing in the teaching of electrocardiography to final year medical students. [O] . S. G. Owen, R. Hall, J. Anderson, 1965

机译：医学教育中的程序学习。对最后一年医学生的心电图教学中采用常规讲授的教学机编程指令的实验比较。
7. Creating Win-Win Trade Promotions: Theory and Empirical Analysis of Scan-back Trade Deals [O] . Xavier Drèze, Xavier Drµeze, David R. Bell, 2001

机译：创造双赢的贸易促销：回溯贸易交易的理论和实证分析

Program Analysis and Machine Learning: A Win-Win Deal

摘要

著录项

相似文献

相关主题

期刊订阅