[计]?自动程序综合
... automatic program segmentation 自动程序分段 automatic program synthesis 自动程序综合 automatic program verification system 自动程序验证系统 ...
?自动程序合成
自动程序分段 automatic program segmentation 自动程序合成 automatic program synthesis 自动程序验证 automatic program verification ..
程式自动合成
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。