• 其他词汇： 程序套 程式套 自动程序合成 自动程式合成

• 更多词汇： 程序正确性 程式正确性 程序结束 程式终止