Alkalmazásiterület-specifikus programozási nyelven írt programok végrehajtási idejének/energiafogyasztásának költségbecslése a nyelvhez készített interpreter kiegészítésével. Egy kiválasztott nyelv, a P4 nyelv, illetve annak egy kiválasztott interpretere a Petr4 interpreter segítségével kell megvizsgálni, miként lehet egy adott programozási nyelven írt programok különböző végrehajtási költségeit (mint például a futási idő, vagy az energiafelhasználás) minél hatékonyabban becsülni. A feladat keretében modellezni kell a hálózati csomagfeldolgozó eszközök teljesítményét, futási költségeit (pl. végrehajtási időt, energiafogyasztást) és azonosítani az ezt leginkább befolyásoló tényezőket (pl. hálózat, hardver). A cél egy olyan általános modell megalkotása és implementálására a költségek becslésére, amely később más nyelvekre is átültethető. A feladatvégzés során a hallgatók megismerkednek az OCaml nyelvvel, a nyelvi interpreterek belső szerkezetével, valamint a hálózatok és hálózati hardvereszközök matematikai modellezésével. Alkalmazásiterület-specifikus programozási nyelven írt programok végrehajtási idejének/energiafogyasztásának költségbecslése a nyelvhez készített interpreter kiegészítésével. Egy kiválasztott nyelv, a P4 nyelv, illetve annak egy kiválasztott interpretere a Petr4 interpreter segítségével kell megvizsgálni, miként lehet egy adott programozási nyelven írt programok különböző végrehajtási költségeit (mint például a futási idő, vagy az energiafelhasználás) minél hatékonyabban becsülni. A feladat keretében modellezni kell a hálózati csomagfeldolgozó eszközök teljesítményét, futási költségeit (pl. végrehajtási időt, energiafogyasztást) és azonosítani az ezt leginkább befolyásoló tényezőket (pl. hálózat, hardver). A cél egy olyan általános modell megalkotása és implementálására a költségek becslésére, amely később más nyelvekre is átültethető. A feladatvégzés során a hallgatók megismerkednek az OCaml nyelvvel, a nyelvi interpreterek belső szerkezetével, valamint a hálózatok és hálózati hardvereszközök matematikai modellezésével.