Grossman, Dan and Greg Morrisett. Scalable Certification of Native Code: Experience from Compiling to TALx86. Technical Report TR2000-1783, Cornell University, February 2000.

Languages mentioned

• TAL {1997} Assembly language for TALC