Számítástudományi és Információelméleti Tanszék

A téma keretében a jelölt a részleges kiértékelés megvalósíthatóságával foglalkozik. A részleges kiértékelés (Partial Evaluation, PE) segítségével a fordítóprogramok automatikusan generálhatják egy-egy eljárás vagy függvény - a programban felhasznált - speciális eseteit, amelyek egyes paraméterek rögzítésével adódnak. Ennek hatása a futási idő lerövidülése, mivel a számítási műveletek egy részét előre, fordítási időben el lehet végezni.

A funkcionális programozás területén már régóta és hatékonyan alkalmazzák a részleges kiértékelést, de léteznek már részleges kiértékelési rendszerek a C programozási nyelv számára is.

A jelölt feladata elsőként annak vizsgálata, hogy milyen kísérletek történtek eddig a PE megvalósítására a logikai programozásban, és hogy ezek a próbálkozások milyen eredményekkel jártak, sikerük vagy esetleges sikertelenségük minek köszönhető. A konkrét rendszerek felderítését követően a cél egy a gyakorlati programfejlesztésben is jól alkalmazható, a SICStus Prolog környezetbe jól integrált részleges kiértékelő rendszer megvalósítása.

A kutatási téma fontos része a módszerek gyakorlati alkalmazását bemutató esettanulmányok készítése.

A téma feldolgozásához angol nyelvtudás szükséges.

A téma áttekintését és a legfontosabb irodalmi hivatkozásokat tartalmazza az alábbi Web-lap:
http://www.diku.dk/research-groups/topps/activities/PartialEvaluation.html

Dr. Szeredi Péter
egyetemi docens
29-86
szeredi@iqsoft.hu