The correctness of the p rogram of C++ is proved by means of HOARE Logic, and some new results are obtained.

• 讨论了将HOARE逻辑应用于面向对象的程序设计语言C++程序的正确性证明的相关问题.；如类的正确性以及软件系统的正确性