英语词汇“Program synthesis”是什么意思，翻译、用法及简单造句-英汉双解词典-英汉网

网站首页英汉词典

单词	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.
随便看	cytotoxic group的意思 cytotoxic hexitols的意思 cytotoxic hypersensitivity的意思 cytotoxiciity test的意思 cytotoxic index的意思 cytotoxicities的意思 cytotoxicity的意思 Cytotoxicity,Antibody Dependent Cell的意思 cytotoxicity assay的意思 Cytotoxicity,Immunologic的意思 cytotoxicity lymphocyte的意思 cytotoxicity negative absorption positive的意思 cytotoxicity reaction的意思 cytotoxicity test的意思 Cytotoxicity Test,Immunologic的意思 Cytotoxicity Test,Immunological的意思 Cytotoxicity Tests,Anti Human Globulin Complement Dependent的意思 Cytotoxicity Tests,Immunological的意思 cytotoxicity T lymphocyte的意思 cytotoxic killer cell的意思 cytotoxic lignans的意思 cytotoxic lymhocyte maturation factor的意思 cytotoxic lymphocyte的意思 cytotoxic lymphocyte maturation factor的意思 cytotoxic lymphocytic maturation factor的意思

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。