Programming with 'Big Code': Lessons, Techniques and Applications

Pavol Bielik; Veselin Raychev; Martin Vechev

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Programming with 'Big Code': Lessons, Techniques and Applications

【24h】

Programming with 'Big Code': Lessons, Techniques and Applications

机译：用“大代码”编程：经验教训，技术和应用

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Programming tools based on probabilistic models of massive codebases (aka "Big Code") promise to solve important programming tasks that were difficult or practically infeasible to address before. However, building such tools requires solving a number of h

机译：基于大规模代码库（又称为“大代码”）的概率模型的编程工具有望解决以前很难解决或实际上无法解决的重要编程任务。但是，构建此类工具需要解决许多问题

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2015年第29期|共10页
作者
Pavol Bielik; Veselin Raychev; Martin Vechev;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications [J] . Zhenyu Zhang, W.K. Chan, T.H. Tse, Journal of systems and software . 2009,第9期

机译：用于无线传感器网络应用程序合成的代码优化技术的资源优先级
2. Incorporating Acquisition Costs in Forestland Open Space Programs: Lessons from Conservation Biology and Applications [J] . Erik Nordman John E Wagner Journal of Forestry . 2010,第6期

机译：将购置成本纳入林地开放空间计划：保护生物学和应用的经验教训
3. Incorporating acquisition costs in forestland open space programs: lessons from conservation biology and applications. [J] . Journal of Forestry . 2010,第6期

机译：将购置成本纳入林地开放空间计划中：来自保护生物学和应用的经验教训。
4. PLSC: results and lessons learned The plsc programme (programme for the inspection of steel components) has the general objective of assessing procedures and techniques for the inspection of pressure components (in particular the vessel and piping us [C] . Author S.Crutzen, Author R.Nichols ASME international conference on pressure vessel technology;ICPVT-8 . 1996

机译：PLSC：结果和经验教训plsc程序（钢构件检查程序）的总体目标是评估压力构件（尤其是船舶和管道系统）的检查程序和技术
5. High-performance techniques for digit-serial applications and LDPC codes. [D] . Kim, Sungwook. 2002

机译：用于数字串行应用程序和LDPC代码的高性能技术。
6. Lessons from Drosophila: Engineering Genetic Sexing Strains with Temperature-Sensitive Lethality for Sterile Insect Technique Applications [O] . Thu N. M. Nguyen, Amanda Choo, Simon W. Baxter 2021

机译：来自果蝇的课程：用于无菌昆虫技术应用的温度敏感致死性的工程遗传性菌株
7. Programming with "Big Code": Lessons, Techniques and Applications [O] . Bielik Pavol, Raychev Veselin, Vechev Martin 2015

机译：用“大代码”编程：课程，技术和应用
8. Lessons learned from new construction utility demand side management programs and their implications for implementing building energy codes [R] . Wise, B. K., Hughes, K. R., Danko, S. L., 1994

机译：从新建筑公用事业需求侧管理计划及其对实施建筑能源法规的影响中吸取的经验教训

Programming with 'Big Code': Lessons, Techniques and Applications

摘要

著录项

相似文献

相关主题

期刊订阅