Crary Karl and Stephanie Weirich. Resource Bound Certification

[POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000  

Languages mentioned TAL {1997} Assembly language for TALC