A Mechanically Verified Code Generator. To appear in The Journal of Automated Reasoning. Also available as (0)

by W D Young
Venue:Computational Logic, Inc., 1717 W. 6th St., Suite 290