Prohlížení katedra teoretické informatiky dle předmětu "abstract machine"
Zobrazují se záznamy 1-1 z 1
-
Interpreter podmnožiny Prologu pomocí Warren Abstract Machine
; Vedoucí práce: Verter Jan Liam; Oponent práce: Pecka Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-21)Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako ...