• 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 ...
    • Přidání podpory pro stromové rozklady do grafové knihovny Boost 

      Autor: Václav Král; Vedoucí práce: Suchý Ondřej; 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-19)
      Cílem této bakalářské práce je rozšířit C++ knihovnu Boost Graph Library (BGL) o algoritmy pro získávání stromové dekompozice grafu a příklad algoritmu, který využívá tuto stromovou dekompozici. V práci se čtenář seznámí ...