A deklaratív programozás (DP) a számítástudomány azon ága, amely deklaratív programozási nyelvekkel, módszerekkel és eszközökkel foglalkozik. A hagyományos, imperatív, parancsokat alkalmazó nyelvekkel szemben egy deklaratív nyelven írt program kijelentõ módú állításokból áll. A deklaratív nyelvek jelentéstana (szemantikája) viszonylag egyszerûen definiálható, és a végrehajtási mechanizmusuk is értelmezhetõ matematikai következtetési folyamatként.
A deklaratív programozás két fõ iránya a logikai programozás (LP) és a funkcionális programozás (FP). A logikai programozás fontos kiterjesztése a korlát-logikai programozás (Constraint Logic Programming, CLP), amely egy adott speciális területen különösen hatékony következtetési módszereket nyújt.
A pályázó feladata bekapcsolódni a tanszéken a deklaratív programozás területén folyó kutatásokba, elsõsorban az alábbi résztémákban:
- Deklaratív nyelvek és megvalósítási módszereik (elosztott és párhuzamos megvalósítások, részleges kiértékelés, absztrakt interpretáció stb.).
- Különbözõ deklaratív módszerek, irányzatok egyesítése illetve együttes használata (pl. különféle korlát-programozási eszközökre).
- A szemantikus világháló és matematikai alapjai (OWL – Web Ontology Language, leíró logikák és következtető algoritmusaik stb.).
- A deklaratív nyelvek és a szemantikus technológiák alkalmazása, például információ-integrációs eszközök fejlesztésében.
Alapozó irodalom: Logic, Programming and Prolog (2nd edition) by Ulf Nilsson and Jan Maluszynski; John Wiley & Sons Ltd., 1995, http://www.ida.liu.se/~ulfni/lpp/
Number of students who can be accepted: 1
Deadline for application: 2008-05-20
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).
Login
