Az egyszerű típuselmélet algebrai reprezentációi

A programozási nyelveket szintaxissal, operációs szemantikával, típusrendszerrel szokás definiálni. Az algebrai leírás egy magasabb szintű megadási mód, mely mindegyiket egyszerre tartalmazza a felsoroltak közül. A dolgozatban megvizsgáljuk az egyszerű típuselmélet egy alternatív algebrai leírását,...

Teljes leírás

Mentés helye:
Bibliográfiai részletek
Szerző:
Közreműködő(k):
Formátum: szakdolgozat
Nyelv:magyar
Megjelenés: 2020-06-05
Tárgyszavak:
Online elérés:http://hdl.handle.net/10831/56271?sublib=L_042
Címkék: Új címke
A tételhez itt fűzhet saját címkét!