Prohlížení Diplomové práce - 13135 dle autora "Cohen Arthur"

Zobrazují se záznamy 1-1 z 1

    • Analýza bezpečného přístupu k paměti pro kompilátor Rust GCC 

      Autor: Jakub Dupák; Vedoucí práce: Píša Pavel; Oponent práce: Cohen Arthur
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-01-30)
      Tato práce představuje první pokus o realizaci analýzy paměťové bezpečnosti, nazývané borrow-checker, v překladači Rust GCC. Analýza využívá systém Polonius, který byl vytvořen jako nová generace borrow-checkeru pro překladač ...