témavezető: Tejfel Máté
helyszín (magyar oldal): ELTE Prog. Nyelvek és Fordprog. helyszín rövidítés: ELTE
A kutatási téma leírása:
A programozási nyelvek jelentését a legtöbb esetben csak informálisan, vagy a fordítóprogram/interpreter által definiálják, a nyelvben írt programok formális vizsgálatához azonban formális jelentésfogalom megalkotása szükséges. Általában a nyelvspecifikációs dokumentáció alapján, a nyelv absztrahálásával képzett modellre adunk jelentésfogalmat és erre képezzük le a programdefiníciókat, ám a modell absztrakciós szintjének, valamint a definiáláshoz szükséges matematikai eszköztárnak a meghatározása közel sem triviális. Bonyolult kérdéseket vet fel a modern, magas szintű programozási nyelvek, illetve a szakterület-specifikus programozási nyelvek teljes körű formális definiálása, továbbá az ezen formális modellek segítségével formálisan vizsgálható (egyszerű vagy temporális) tulajdonságok megfogalmazása.
A kutatás keretében vizsgálandóak a modern és szakterület-specifikus programozási nyelvek formális szemantikai modelljei, az ezekre támaszkodva megfogalmazható programtulajdonságok megadásának és ellenőrzésének módszerei, továbbá a modellek és a fordítóprogramok közötti formális kapcsolat.
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).