基本信息
文件名称：SJTSJTU霍尔逻辑用户手册霍尔逻辑 - SJTU.pdf
文件大小：120.52 KB
总页数：10 页
更新时间：2026-01-22
总字数：约1.43万字
文档摘要
霍尔逻辑
1霍尔三元组
对于任意程序状态s与s，如果s满足性质P并且(s,s)Pc，那么s满足性质Q。这一性质
121122
写作tPuctQu，称为霍尔三元组，P称为前条件，Q称为后条件。
2顺序执行规则、空语句规则与条件分支