A type system for certified binaries

A type system for certified binaries (2002)

Cached

Download Links

[www.softlab.ece.ntua.gr]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Zhong Shao , Valery Trifonov , Bratin Saha , Nikolaos Papaspyrou

Venue:	In ACM Symposium on Principles of Programming Languages
Citations:	80 - 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