Thesis supervisor: Dániel Horpácsi
Location of studies (in Hungarian): ELTE Informatikai Kar Abbreviation of location of studies: ELTE
Description of the research topic:
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.
Required language skills: angol Recommended language skills (in Hungarian): angol Further requirements: 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.
Number of students who can be accepted: 1
Deadline for application: 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).
Login
