程序验证正文 研究程序正确性的理论。为了解一个程序是否正确地实现了预定的目标，通常是规定一些初始数据，试验性地执行这个程序，测试其是否能产生所要的答案。如果发现有误，就检查和修改所编的程序，直至对所... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
