Benjamin Lion, David Nowak. Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 91-99, ACM, 2025. [doi]
Abstract is missing.