Searching for "Building certified libraries for PCC dynamic storage allocation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Building Certified Libraries for PCC: Dynamic Storage Allocation
by Dachuan Yu, Nadeem A. Hamid, Zhong Shao — 2003
…Building Certied Libraries for PCC: Dynamic Storage Allocation ? Dachuan Yu Nadeem A. Hamid Zhong…
Cited by 21 (6 self) – Add To MetaCart

data structure (abstract of invited lecture). In Fritz Henglein,
by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
…, and Zhong Shao. Building certified libraries for PCC: Dynamic storage allocation. Science of Computer…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB