关系Hoare逻辑的对齐完整性| IEEE会议出版物| IEEE Xplore