Resource Bound Certification (2000)

by K Crary, S Weirich
Venue:In POPL’00 — Symposium on Principles of Programming Languages