A Mechanically Verified Code Generator

William D. Young. A Mechanically Verified Code Generator. Journal of Automated Reasoning, 5(4):493-518, 1989.

Abstract

Abstract is missing.