Towards a Generic Framework for Trustworthy Program Refactoring

Keywords: refactoring, DSL, refactoring methodology, formal verification

Abstract

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.

Downloads

Download data is not yet available.
Published
2021-03-18
How to Cite
Horpácsi, D., Kőszegi, J., & Németh, D. J. (2021). Towards a Generic Framework for Trustworthy Program Refactoring. Acta Cybernetica. https://doi.org/10.14232/actacyb.284349
Section
Selected papers of STCS 2019

Most read articles by the same author(s)