Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting

Open Webpage

Yonghyun Kim, Minki Cho, Jaehyung Lee, Jinwoo Kim, Taeyoung Yoon, Youngju Song, Chung-Kil Hur

Published: 07 Jan 2025, Last Modified: 19 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3704881