A Mechanically Verified Garbage Collector for OCaml
Crossref DOI link: https://doi.org/10.1007/s10817-025-09721-0
Published Online: 2025-05-14
Published Print: 2025-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shamsu, Sheera
Kafle, Dipesh
Maroo, Dhruv
Nagar, Kartik
Bhargavan, Karthikeyan
Sivaramakrishnan, KC
Text and Data Mining valid from 2025-05-14
Version of Record valid from 2025-05-14
Article History
Received: 2 July 2024
Accepted: 24 February 2025
First Online: 14 May 2025