Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic

Open Webpage

Shushu Wu, Xiwei Wu, Qinxiang Cao

Published: 09 Oct 2025, Last Modified: 28 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3763138