Hledat
Zobrazují se záznamy 1-2 z 2
Dynamické tracovaní Haskellu, Haskell Dynamic Tracing
; 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 ...
P4 jazykový server, P4 Language Server
; Vedoucí práce: Puš Viktor; Oponent práce: Křikava Filip (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
Jazyk P4 je používán pro konfiguraci programovatelných síťových procesorů. Navzdory své popularitě v odvětví Software Defined Networking ale zaostává co se podpory programátora týče. V této práci navrhujeme a implementujeme ...