Horpácsi Dániel; Kőszegi Judit; Németh Dávid J.: Towards a generic framework for trustworthy program refactoring. In: Acta cybernetica, (25) 4. pp. 753-779. (2022)
Előnézet |
Cikk, tanulmány, mű
cybernetica_025_numb_004_753-779.pdf Letöltés (464kB) | Előnézet |
Absztrakt (kivonat)
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.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2022 |
| Kötet: | 25 |
| Szám: | 4 |
| ISSN: | 2676-993X |
| Oldalak: | pp. 753-779 |
| Nyelv: | angol |
| Kiadó: | University of Szeged, Institute of Informatics |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | https://acta.bibl.u-szeged.hu/86901/ |
| DOI: | 10.14232/actacyb.284349 |
| Kulcsszavak: | Programozás, Refaktorálás, Szoftverfejlesztés |
| Megjegyzések: | Bibliogr.: p. 777-779. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2025. ápr. 15. 11:20 |
| Utolsó módosítás: | 2025. ápr. 15. 11:20 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/86953 |
 |
Tétel nézet |
