A type system for certified binaries (2002)

Cached

Download Links

by Zhong Shao , Valery Trifonov , Bratin Saha , Nikolaos Papaspyrou
Venue:In ACM Symposium on Principles of Programming Languages
Citations:84 - 12 self

Document Versions

A type system for certified binaries –Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou — 2002 — In ACM Symposium on Principles of Programming Languages
A type system for certified binaries –Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou, Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou — 2002 — In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-02