部分正确性
计算机科学技术名词
部分正确性（partial correctness）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
定义
对给定的输入，程序只要终止就一定满足规约。
出处
《计算机科学技术名词 》第三版。
参考资料
部分正确性.术语在线.
最新修订时间：2022-04-12 00:48
条目作者
小编
目录
概述
定义
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1