网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇:

 

词汇 Program synthesis
分类 英语词汇 英语翻译词典
释义

Program synthesis

原声例句
TED演讲(音频版)精选

And I'm optimistic that AI will revolutionize automatic proving businessand also revolutionize program synthesis, the ability to automatically write really good code.

我乐观地认为人工智能将彻底改变自动验证业务,也将彻底改变程序综合,即自动编写真正优秀代码的能力。

英语百科

Program synthesis

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to construct automatically a program that provably satisfies a given high-level specification. In contrast to other automatic programming techniques, the specifications are usually non-algorithmic statements of an appropriate logical calculus.

随便看

 

依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。

 

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/30 8:50:33