Building certified libraries for PCC: dynamic storage allocation
2004 ◽
Vol 50
(1-3)
◽
pp. 101-127
◽
Dachuan Yu
◽
Nadeem A. Hamid
◽
Zhong Shao
Sen Xiang
◽
Yiyun Chen
◽
Chunxiao Lin
◽
Long Li
1983 ◽
Vol 25
(3)
◽
pp. 311-325
◽
Shuai Cheng Li
◽
Hon Wai Leong
◽
Steven K. Quek
Alan C. H. Kam
◽
Charles F. Wall
1965 ◽
Vol 10
(2)
◽
pp. 182-183
1989 ◽
Vol 38
(1)
◽
pp. 2-35
◽
E.G. Coffman
◽
F.T. Leighton
1984 ◽
Vol 27
(2)
◽
pp. 135-142
◽