Formal Verification of HCOL Rewriting

Zaliva, Vadim, Franchetti, Franz. Formal Verification of HCOL Rewriting. , 2015.

Abstract

Abstract is missing.