Számítástudományi és Információelméleti Tanszék
Témakiírás
Részleges kiértékelési módszerek a logikai programozásban
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