• 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 ...