Browsing Fakulta informačních technologií by Subject "abstraktní syntaktický strom"

Now showing items 1-2 of 2

    • Knihovna pro konstrukci staticky typovaných PostgreSQL dotazů v jazyce Scala 

      Author: Petr Hron; Supervisor: Létal Vojtěch; Opponent: Daněček Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-26)
      Hlavní téma této práce je vývoj a implementace knihovny pro vytváření staticky typovaných SQL dotazů v jazyce Scala, společně s průzkumem existujících Scala knihoven, které se zabývají vytvářením SQL dotazů. Nejprve jsou ...

    • Omezení oboru hodnot výrazu v AST z definičních oborů proměnných 

      Author: Jan Pokorný; Supervisor: Plachý Štěpán; Opponent: 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ů. ...