Executing Verified Compiler Specification.

Koji Okuma, Yasuhiko Minamide

Browse the full APLAS paper archive.