Prohlížení Bakalářské práce - 18101 dle předmětu "funkcionální programování"
Zobrazují se záznamy 1-2 z 2
-
Nástroj na vyhodnocování lambda kalkulu
; Vedoucí práce: Polách Radomír; Oponent práce: Máj Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Tato bakalářská práce se zabývá analýzou, návrhem a implementací nástroje pro vyhodnocování lambda kalkulu. Vytvořený nástroj, nazvaný LambdaEvaluator, podporuje normální a aplikativní vyhodnocování, symbolické názvy a ... -
Návrh šablonovacího jazyka a implementace překladače
; Vedoucí práce: Plachý Štěpán; Oponent práce: Jirůtka Jakub
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Cílem této práce je návrh a implementace šablonavacího jazyka, pro tvorbu HTML stránek, který se zaměřuje na podporu funkcionálního stylu programování, pomocí nehož lze vylepšit vlastnosti šablonovacích jazyků. Základními ...