An Open Framework for Foundational Proof-Carrying Code
Mon, 08/17/2009 - 13:32 — nate
| Title | An Open Framework for Foundational Proof-Carrying Code |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Feng, X, Ni Z, Shao Z, Guo Y |
| Conference Name | Proceedings of the 3rd ACM Workshop on Types in Language Design and Implementation |
| Date Published | Jan |
| Publisher | ACM Press |
| Conference Location | Nice, France |
| Attachment | Size |
|---|---|
| ocap.pdf | 265.54 KB |