TY - JOUR AU - Dániel Horpácsi AU - Judit Kőszegi AU - Dávid J. Németh PY - 2021/03/18 Y2 - 2024/03/29 TI - Towards a Generic Framework for Trustworthy Program Refactoring JF - Acta Cybernetica JA - Acta Cybern VL - 25 IS - 4 SE - Selected papers of STCS 2019 DO - 10.14232/actacyb.284349 UR - https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4121 AB - Refactoring has to preserve the dynamics of the transformed program with respect to a particular definition of semantics and behavioral equivalence. Apparently, it is always challenging to relate executable refactoring implementations with the formal semantics of the transformed language. There are a number of approaches to specifying program transformations on various kinds of program models, but trustworthiness of refactoring is still to be improved by means of formal verification. We propose a specification formalism and a generic framework for its processing, which claims to allow semi-automatic execution and formal verification, as well as to be adaptable to multiple paradigms. ER -