Code migration and program maintainability - A categorical perspective
When translating existing programs that are under constant maintenance, preserving program maintainability should be a special concern. In spite of its importance, no formal criteria were ever established for guiding translation designers in their task. This paper proposes a formal criterion that language translations should attend in order to preserve program maintainability. This criterion can be applied both in low intramodule, language level and in high intermodule level. (C) 2001 Elsevier Science B.V. All rights reserved.
code migration language translation formal semantics formal languages category theory