所有编好的程序经过仔细检查没有发现问题,就是正确的程序。
出自:计算机科学