The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Building certified libraries for PCC: dynamic storage allocation

The work

AuthorsD. Yu; N. A. Hamid; Z. Shao
Editors
Typearticle
Year2004
Citekeyyu2004building

Where it appeared

Published inScience of Computer Programming
Volume50
Pages101--127

How it got here

How it got hereagent via bibtex
Added2026-10-24 13:48 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@article{yu2004building,
  title        = {Building certified libraries for PCC: dynamic storage allocation},
  author       = {D. Yu and N. A. Hamid and Z. Shao},
  year         = {2004},
  journal      = {Science of Computer Programming},
  volume       = {50},
  pages        = {101--127},
}

This record lives at https://refs.drheap.org/yu2004building/ and will keep doing so.