Hledat
Zobrazují se záznamy 1-1 z 1
Omezení oboru hodnot výrazu v AST z definičních oborů proměnných, Range restriction of expression in AST from a domain of variables
; Vedoucí práce: Plachý Štěpán; Oponent práce: Janoušek Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)
Tato bakalářská práce se zabývá omezením možných hodnot výrazu reprezentovaného pomocí abstraktního syntaktického stromu na základě omezení hodnot vstupních proměnných. Výrazy mohou obsahovat hodnoty různých datových typů. ...