Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra

Yu Zhang 0086, Jérémie Koenig, Zhong Shao, Yuting Wang 0001. Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra. Proceedings of the ACM on Programming Languages, 9(POPL):1903-1933, 2025. [doi]

Abstract

Abstract is missing.