A Mechanically Verified Language Implementation

J. Strother Moore. A Mechanically Verified Language Implementation. Journal of Automated Reasoning, 5(4):461-492, 1989.

Abstract

Abstract is missing.