算法正確性

算法正確性

算法正確性分開部分正確性與終止性；總正確性需要兩者同時成立。

atlas-algorithm-correctness · canonical_mko