Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form.

arXiv:2609.11326v3 Announce Type: replace-cross Abstract: We ask whether it can be certified algorithmically that a self-modifying program keeps a behavioural property, a safety property in the motivating case, after its next rewrite (preservation) and along i