Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao. Building certified libraries for PCC: dynamic storage allocation. Science of Computer Programming, 50(1-3):101-127, 2004. [doi]
@article{YuHS04,
title = {Building certified libraries for PCC: dynamic storage allocation},
author = {Dachuan Yu and Nadeem Abdul Hamid and Zhong Shao},
year = {2004},
doi = {10.1016/j.scico.2004.01.003},
url = {http://dx.doi.org/10.1016/j.scico.2004.01.003},
researchr = {https://researchr.org/publication/YuHS04},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {50},
number = {1-3},
pages = {101-127},
}