Keresés
1 találatból megjelenítve: 1-5
Cím: Trustworthy Refactoring via Decomposition and Schemes
Szerző: ; ;
Dátum: 2017
Feltöltve: 2022-05-04
(2017)
Cím: Interactive Teaching of Programming Language Theory with a Proof Assistant
Szerző: ; ; ; ;
Dátum: 2020
Feltöltve: 2022-09-07
(2020)
Cím: Program equivalence in an untyped, call-by-value functional language with uncurried functions
Szerző: ; ;
Dátum: 2023
Feltöltve: 2024-04-11
(2023)
Cím: Verification and Application of Program Transformations
Szerző:
Dátum: 2018
Feltöltve: 2019-03-06
(2018)
A programtranszformáció és a refaktorálás alapvető elemei a szoftverfejlesztési folyamatnak. A refaktorálást a kezdetektől próbálják szoftvereszközökkel támogatni, amelyek megbízhatóan és hatékonyan valósítják meg a ...