Crossmark

Automatic proofs of memory deallocation for a Whiley-to-C Compiler

Crossref DOI link: https://doi.org/10.1007/s10703-021-00378-0

Published Online: 2021-08-16

Published Print: 2021-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Weng, Min-Hsien https://orcid.org/0000-0003-2334-1863
Malik, Robi

Utting, Mark
License Information

Text and Data Mining valid from 2021-08-16

Version of Record valid from 2021-08-16
More Information

Article History

Received: 21 August 2018

Accepted: 13 June 2021

First Online: 16 August 2021