Verifying Compiling Optimisations Using Isabelle/HOL (2009)

First Author: R Warburton
Attributed to:  Verification of the optimizing phase of a compiler funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract