Browsing Fakulta informačních technologií by Subject "R language"

Now showing items 1-2 of 2

    • Nástroj pro inspekci vnitřního stavu runtime jazyka R 

      Author: Martin Taibr; Supervisor: Siek Konrad; Opponent: 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 

      Author: Petr Šťastný; Supervisor: Donat-Bouillud Pierre; Opponent: 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 ...