Napjainkban egyre több olyan specifikus alkalmazási terület kerül azonosításra, amelyek az eddigiektől eltérő, újszerű programozási nyelvek használatát igénylik. Ez az igény természetesen maga után vonja a nyelveket támogató fordítóprogramok, elemző, optimalizáló, illetve refaktoráló eszközök fejlesztését is. Ezen új eszközök tulajdonságainak, helyességének formális vizsgálata kiemelkedően fontos használhatóságuk, így közvetett módon a tárgynyelv alkalmazhatóságának biztosítása érdekében. Egy ilyen vizsgálat elvégzéséhez elsősorban az eszköz alapvető funkcióit (például egy refaktoráló eszköz esetén az átalakítást végző lépéseket, illetve ezek elvárt tulajdonságait) kell formálisan megfogalmazni és ellenőrizni, amely probléma számos nyitott kérdést tartogat. A kutatás keretében vizsgálandóak azok a lehetséges módszerek, melyek segítségével ezen formális ellenőrzések elvégezhetőek, valamint adott eszközök esetén a vizsgálat konkrét folyamata is a kutatás részét képezheti.
előírt nyelvtudás: angol felvehető hallgatók száma: 1
Jelentkezési határidő: 2018-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).