Verified Transformation of Continuation-Passing Style into Static Single Assignment Form.

Siyu Liu, Yuting Wang

Browse the full TASE paper archive.