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