Hoare的例句(Hoare在句子中的用法)