témavezető: Pintér Balázs
helyszín (magyar oldal): ELTE Informatikai Kar helyszín rövidítés: ELTE
A kutatási téma leírása:
A kitűzött cél programok átalakítása különböző reprezentációk, például programozási nyelvek között. Széles körben ismert és a gyakorlatban használt példa a kódvisszafejtés, ahol gépi kódot fordítunk át (vissza) magas szintű programozási nyelvre, vagy a specifikáció alapú programszintézis, ahol a magas szintű specifikációból lesz konkrét program. Az átfordításoknál különösen fontos, hogy tekintettel legyünk a forrás és cél különböző absztrakciós szintjére, illetve az átfordítás helyességére.
előírt nyelvtudás: angol ajánlott nyelvtudás (magyar oldal): angol 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).