A Computability Perspective on Self-Modifying Programs | IEEE Conference Publication | IEEE Xplore