Prohlížení katedra teoretické informatiky dle předmětu "jazyk R"
Zobrazují se záznamy 1-2 z 2
-
Nástroj pro inspekci vnitřního stavu runtime jazyka R
; Vedoucí práce: Siek Konrad; 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., 2022-06-02)Tento projekt se zaměřuje na vizualizaci vnitřního stavu interpreteru jazyka R. -
Symbolická exekuce pro R
; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Krynski Sebastián
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)Symbolic execution je technika, která umožňuje testovat programy a dokazovat jejich netriviální vlastnosti. Vytvoření nového systému pro symbolic execution je náročné. Místo toho je použita technika, kdy je symbolicky ...