A programok forráskódját sokféle modellben ábrázolhatjuk, továbbá több különböző algoritmussal átalakíthatjuk úgy, hogy a forráskód minőségét javítsuk, de közben az eredeti program viselkedését megőrizzük. Ezeket az úgynevezett refaktorálás műveleteket sok kódszerkesztő eszköz támogatja, de helyes működésre (tehát a programjelentés megőrzésére) vonatkozóan ritkán adnak formális garanciákat. Valójában összetett refaktorálások helyességének igazolása egy mai napig nyitott kérdés. A kutatás fő célja a gyakorlatban alkalmazott refaktorálási műveletek megbízhatóságának növelése programozási nyelvek, programmodellek, statikus elemzések és programátírások jelentésének formális megfogalmazásával, majd formális érveléssel a programátírások helyességére vonatkozóan.
előírt nyelvtudás: angol ajánlott nyelvtudás (magyar oldal): angol további elvárások: Jártasság a következő témákban: funkcionális programozás, fordítóprogramok, formális szemantika, statikus elemzés, átíró kalkulusok, logikai nyelvek, formális helyességbizonyítás.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2024-05-31
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Bejelentkezés
