构造良好的程序的英文翻译

中文:构造良好的程序

英文翻译:【计】 well-formed program