@article{Horpácsi_Kőszegi_Németh_2021, title={Towards a Generic Framework for Trustworthy Program Refactoring}, volume={25}, url={https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4121}, DOI={10.14232/actacyb.284349}, abstractNote={<p>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.</p&gt;}, number={4}, journal={Acta Cybernetica}, author={Horpácsi, Dániel and Kőszegi, Judit and Németh, Dávid J.}, year={2021}, month={Mar.}, pages={753-779} }