Re: [NHLP-l] TDK temak

Meg egy temaval bovult a lista, lasd alabb a 2.1-es pontot. -Peter Peter Szeredi &lt;szeredi(a)cs.bme.hu&gt; writes: --------------------------------------------------------------------------- 2. Deklaratív nyelvek oktatása Ezek a feladatok a Deklaratív Programozás (DP), ill. a Nagyhatékonyságú Logikai Programozás (NHLP) c. tárgyak oktatásához kapcsolódó kutatás-fejlesztési tevékenységek. 2.1 Hasonlóságvizsgáló eszközök házi feladatok másolásának felderítésére A címben jelzett cél érdekében a DP tárgy oktatása során egyrészt a Match saját fejlesztésû programot, másrészt a 'sim' programot használjuk: <http://www.cs.vu.nl/~dick/sim.html>. A Match egy olyan (Prolog nyelven készült) program, amellyel viszonylag nagyobb méretû forráskódú programok szerkezetének hasonlóságát lehet megállapítani. A Match rendszert már nyolc éve folyamatosan használjuk a DP nagy házi feladatok másolásának sikeres felderítésére. A 'sim' programot, amely lexikai hasonlóságot vizsgál, a kis házi feladatok esetén használjuk. A hasonlóságvizsgáló eszközök továbbfejlesztése több irányban is kívánatos. Egyrészt szükséges a Match rendszer kibõvítése az Erlang nyelvû források esetére, mert a jövõben ezt a funkcionális nyelvet használjuk majd a DP tárgy oktatásában. Ez a kiterjesztés egyrészt egy nyelvi elemzõ beillesztését, másrészt a rendszer megfelelõ hangolását igényli. Másrészt szükséges a 'sim' program fejlesztése is, mert jelenleg ebben egy generikus elemzõt használunk. Azt reméljük, hogy egy Prolog ill. Erlang-specifikus elemzõ használatával a találati pontosság fokozható. Végül sor kerülhet a két rendszer további fejlesztésére, sõt akár ezek összekapcsolására, illetve új eszközök kidolgozására is.