Integrating a certified memory management runtime with proof-carrying code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nadeem Abdul Hamid. Integrating a certified memory management runtime with proof-carrying code. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1526-1533, ACM, 2007. [doi]

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

runs on WebDSL