Certified self-modifying code.

Hongxu Cai, Zhong Shao, Alexander Vaynberg

Browse the full PLDI paper archive.