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.

单词	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.
随便看	Debris flows的意思 debris flux model的意思 debris glacier的意思 debris growing rate的意思 debris guard的意思 debris hazard的意思 debris ice的意思 debris index的意思 debris index, DI的意思 debris index score的意思 debris index,simplified的意思 debris island的意思 debris islands的意思 debris kibble的意思 debris line的意思 debris loading means的意思 debrisochin的意思 debris of Malassez的意思 debris of oxide的意思 debrisoqueine的意思 Debrisoquin的意思 debrisoquine的意思 Debrisoquine 4 Hydroxylase的意思 Debrisoquine 4 Monooxygenase的意思 Debrisoquine Hydroxylase的意思