Certified selfmodifying code (0)

by h Cai, S Shao, a Vaynberg
Venue:in Proceedings of the 2007 ACM Conference on Programming Language Design and Implementation