?霍尔逻辑
(2)霍尔逻辑(Hoare Logic)。霍尔逻辑的语义对象直接指向程序前后的状态，以此很好地解决了前述的冗余问题。
类Hoare逻辑系统
hoare逻辑
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。