A type system for certified binaries
Shao, Zhong; Saha, Bratin; Trifonov, Valery; Papaspyrou, Nikolaos
- 期刊名称ACM SIGPLAN Notices
- 作者Shao, Zhong; Saha, Bratin; Trifonov, Valery; Papaspyrou, Nikolaos
- 卷第37卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小281.19KB
- 发表时间2002-01-01
- DOI10.1145/565816.503293
- 页码217-232