At program termination, all data written into files shall be identical to one of the possible results that execution of the program according to the abstract semantics would have produced.

At program termination, all data written into files shall be identical to one of the possible results that execution of the program according to the abstract semantics would have produced.

当程序终止时，写入文件的所有数据，应该与抽象语义以此程序执行所能造成的所有可能结果之一吻合。