Resource Bound Certi (2000)

by Karl Crary, Stephanie Weirich
Venue:In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00