Return to Issue Details Dynamic Turing Machine: model and properties for runtime code changes Download Download PDF