| [1] |
Nadeem Abdul Hamid.
A Syntactic Approach to Foundational Proof-Carrying Code.
PhD thesis, Yale University, New Haven, CT, May 2005.
Draft version Nov 2004. [ bib | .ps.gz | .pdf ] |
| [2] |
Nadeem Abdul Hamid.
Certified memory management for proof-carrying code: A region-based
type system and runtime library (extended abstract).
In 43rd ACM Southeast Conference, March 2005.
(Poster presentation). [ bib | .pdf ] |
| [3] |
Nadeem Abdul Hamid and Zhong Shao.
Interfacing hoare logic and type systems for foundational
proof-carrying code.
In Proceedings 17th International Conference on Theorem Proving
in Higher Order Logics (TPHOLs 2004), volume 3223 of LNCS, pages
118-135. Springer, September 2004.
(c) 2004 Springer. [ bib | www: | http | .ps.gz | .pdf ] |
| [4] |
Dachuan Yu, Nadeem Abdul Hamid, and Zhong Shao.
Building certified libraries for PCC: Dynamic storage allocation.
Science of Computer Programming, 50(1-3):101-127, March 2004.
(c) 2004 Elsevier. [ bib | www: | .pdf ] |
| [5] |
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong
Ni.
A syntactic approach to foundational proof carrying-code.
Journal of Automated Reasoning (Special issue on Proof-Carrying
Code), 31(3-4):191-229, December 2003.
(c) 2003 Kluwer Academic Publishers. [ bib | www: | .ps.gz | .pdf ] |
| [6] |
Dachuan Yu, Nadeem Abdul Hamid, and Zhong Shao.
Building certified libraries for PCC: Dynamic storage allocation.
Technical Report YALEU/DCS/TR-1247, Dept. of Computer Science, Yale
University, New Haven, CT, May 2003. [ bib | www: | .ps.gz | .pdf ] |
| [7] |
Dachuan Yu, Nadeem Abdul Hamid, and Zhong Shao.
Building certified libraries for PCC: Dynamic storage allocation.
In Proceedings 12th European Symposium on Programming (ESOP
2003), volume 2618 of LNCS, pages 363-379. Springer, April 2003.
(c) 2003 Springer. [ bib | www: | .ps.gz | .pdf ] |
| [8] |
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, and Zhaozhong
Ni.
A syntactic approach to foundational proof-carrying code.
In Proceedings 17th Annual IEEE Symposium on Logic In Computer
Science (LICS'02), pages 89-100. IEEE, July 2002.
(c) 2002 IEEE. [ bib | www: | .ps.gz | .pdf ] |
This file has been generated by bibtex2html 1.77