Prohlížení Bakalářské práce - 18101 dle autora "Křikava Filip"
-
Analýza Scala programů pomocí Grafových Databází
Autor: Otakar Vinklář; Vedoucí práce: Křikava Filip; Oponent práce: Valenta Michal
(Č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)Aby bylo možné vyvinout takový programovací jazyk, který budou lidé rádi využívat, je nutné znát, jak je tento jazyk používaný. V článku [KŘIKAVA, Filip; MILLER, Heather; VITEK, Jan. Scala implicits are everywhere: a ... -
Dynamické generování testů pro balíčky v R
Autor: Ghibellini Filippo; Vedoucí práce: Křikava Filip; Oponent práce: Li Paley
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-06-07)Statistické programování nabývá na popularitě s tím jak se zároveň zvyšuje poptavka v příbuzných oborech jako Machine learning, Big data a podobné. R je hlavním hráčem v této oblasti avšak jeho jedinečný návrh znemožnil ... -
Dynamické tracovaní Haskellu
Autor: Ondřej Kvapil; Vedoucí práce: Křikava Filip; Oponent práce: Bragilevsky Vitaly
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)Haskell je jeden z nejznámějších jazyků s non-strict sémantikou. Na jednu stranu přináší tato sémantika pohodlí nekonečných datových struktur, řídících konstrukcí definovaných uživatelem a možnost vyhnout se nepotřebným ... -
Implementace Simple Object Machine v funkcionálním programovacím jazyce
Autor: Filip Říha; Vedoucí práce: Křikava Filip; Oponent práce: Sliacký Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)Tato práce se zabývá implementaci dialektu programovacího jazyka Smalltak nazývaného Simple Object Machine (SOM), a to v čistě funkcionálním programovacím jazyce Haskell. Práce zkoumá syntaxi a sémantiku SOM programu a ...