External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Building Certified Libraries for PCC: Dynamic Storage Allocation

Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao. Building Certified Libraries for PCC: Dynamic Storage Allocation. In Pierpaolo Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2618 of Lecture Notes in Computer Science, pages 363-379, Springer, 2003. [doi]

Authors

Dachuan Yu

This author has not been identified. Look up 'Dachuan Yu' in Google

Nadeem Abdul Hamid

This author has not been identified. Look up 'Nadeem Abdul Hamid' in Google

Zhong Shao

This author has not been identified. It may be one of the following persons: Look up 'Zhong Shao' in Google
runs on