|
|
Překladové gramatiky: Vlastnosti a aplikace
Vít, Radek ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je prozkoumat překladové gramatiky a jejich použití v syntaxí řízeném překladu. Práce ukazuje využití překladových gramatik v prediktivním syntaktickém překladu a definuje formální prostředky pro přijímání jazyků a generování výstupu překladu. Zkoumá sílu překladových gramatik při jejich použití jako prostředku pro generování jazyků. Práce dále popisuje implementaci překladové knihovny používající tyto formální prostředky a popisuje implementaci jednoduchého překladače pomocí této knihovny. Tento překladač překládá nový jazyk REON navržený v této práci do Pythonu 3.
|
|
| |
|
|
ALTREP Data Representation in FastR
Marek, Pavel ; Šindelář, Štěpán (vedoucí práce) ; Horký, Vojtěch (oponent)
R je dynamický programovací jazyk, používaný zejména v oborech statistika a datová analýza, rozšiřitelný pomocí balíčků. GNU-R, což je standardní interpreter jazyka R, přidal ve verzi 3.5.0 nové nativní API (ALTREP) pro vývojáře balíčků. Cílem této práce je implementovat ALTREP API pro FastR, což je interpreter jazyka R postavený na GraalVM a Truffle, a prozkoumat možnosti optimalizací FastR v kontextu tohoto API. Motivací je zejména zvýšení počtu balíčků, které bude FastR schopné nainstalovat a spustit. 1
|
|
|
ALTREP Data Representation in FastR
Marek, Pavel ; Šindelář, Štěpán (vedoucí práce) ; Horký, Vojtěch (oponent)
R je dynamický programovací jazyk, používaný zejména v oborech statistika a datová analýza, rozšiřitelný pomocí balíčků. GNU-R, což je standardní interpreter jazyka R, přidal ve verzi 3.5.0 nové nativní API (ALTREP) pro vývojáře balíčků. Cílem této práce je implementovat ALTREP API pro FastR, což je interpreter jazyka R postavený na GraalVM a Truffle, a prozkoumat možnosti optimalizací FastR v kontextu tohoto API. Motivací je zejména zvýšení počtu balíčků, které bude FastR schopné nainstalovat a spustit. 1
|
|
|
Typová inference a polymorfismus pro jazyk C
Klepl, Jiří ; Kratochvíl, Miroslav (vedoucí práce) ; Šefl, Vít (oponent)
Jazyk C, i přes své stáří, stále patří mezi přední jazyky programování počítačových systémů. Jeho ceněnou přednosti je, že uživateli poskytuje takřka úplnou kontrolu nad správou paměti a nad prováděnými výpočty. C však snáší kritiku za to, že v něm chybí prvky umožňující generické programování, což se v C kompenzuje používáním preprocesorových maker, což zvyšuje náchylnost na uživatelské chyby. Tento problém již řeší jazyk C++ už od počátků svého vývoje, ale spousta vývojářů počítačových systémů jej odmítá pro jeho komplexitu a netranspar- entnost kódu. Předkládáme tedy návrh na jednodušší řešení užitím typového systému Hindley-Milner. Toto řešení pak jen za drobých úprav syntaxe jazyka C poskytne mnohem vyšší expresivitu jazyka. 1
|
|
|
Testing of generated C compilers for processors in embedded systems
Dolíhal, Luděk ; Kubátová, Hana (oponent) ; Vojnar, Tomáš (oponent) ; Hruška, Tomáš (vedoucí práce)
The embedded systems have become essential for our everyday lives. They are usually highly specialized and optimized single purpose devices. The cores of this devices are usually composed of one or more application specific instruction-set processors. This dissertation thesis is focused on testing of tools for design of application specific instruction set processors (ASIP) and ASIPs itself. The aim is to create a system, that allows testing of the tools such as compiler, assembler, disassembler or debugger. Nevertheless, there is also need for more complex tests, for example integration tests, that ensure there is no incompatibility between the tools. Author created with support of continuous integration server an environment, that helps to reveal and fix errors during the design of the application specific processors and moreover this environment is automatized up to certain point.
|
|
|
Jazyk pro procedurální generování
Dobiáš, Roman ; Káčerik, Martin (oponent) ; Milet, Tomáš (vedoucí práce)
Práca sa zaoberá návrhom a implementáciou knižnice s jazykom pre procedurálne generovanie, vychádzajúcim z L-systémov. Zmyslom práce je vytvoriť prakticky použiteľnú a jednoducho integrovateľú knižnicu, ktorá sa bude dať využiť v celej rade aplikácií, obzvlášť v 3D vykresľovacích enginoch alebo editoroch. Práca sa zaoberá nutnou teóriou procedurálneho generovania a L-systémov, téoriou formálnych jazykov, a návrhom a implementáciou daného systému. Výsledkom práce sú ukážkové projekty využívajúce knižnicu a početné príklady dosiahnuté pomocou generovania.
|
|
|
Web Platform for Parallel Programming Tutorials
Buzek, Emanuel ; Kruliš, Martin (vedoucí práce) ; Yaghob, Jakub (oponent)
Tato diplomová práce prezentuje originální způsob pro výuku programování v paralelním a distribuovaném prostředí. Hlavním cílem práce je vytvoření online platformy pro programování, která bude obsahovat tutoriály ve formě jednoduchých úloh z oblasti paralelismu. Webová aplikace simuluje a vizualizuje více agentů, kteří musí kolaborativně vyřešit daný problém. Agenti jsou programováni v procedurálním jazyce, který vychází z JavaScriptu. Významná část práce se zabývá návrhem tohoto jazyka. Kompilátor jazyka byl vytvořen pomocí nástroje, který je obdobou Bisonu a Flexu. Implementovaný paralelní simulátor podporuje několik plánovacích algoritmů včetně lock-step módu, který simuluje běh programů na grafických kartách. Důležitá vlastnost platformy je rozšiřitelnost, proto jsou tutoriály a balíčky navrženy jako plug- iny. Závěrečná část práce je věnována implementaci ukázkových balíčků a tutoriálů, které demonstrují, že hlavního cíle práce se podařilo dosáhnout.
|
|
|
Překladové gramatiky: Vlastnosti a aplikace
Vít, Radek ; Krčmář, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce je prozkoumat překladové gramatiky a jejich použití v syntaxí řízeném překladu. Práce ukazuje využití překladových gramatik v prediktivním syntaktickém překladu a definuje formální prostředky pro přijímání jazyků a generování výstupu překladu. Zkoumá sílu překladových gramatik při jejich použití jako prostředku pro generování jazyků. Práce dále popisuje implementaci překladové knihovny používající tyto formální prostředky a popisuje implementaci jednoduchého překladače pomocí této knihovny. Tento překladač překládá nový jazyk REON navržený v této práci do Pythonu 3.
|
|
|
Rozšíření programovacího jazyka C Plus a jeho překladače
Opatřil, Petr ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá pokračujícím vývojem nového programovacího jazyka C Plus navrženého v předchozí balakářské práci s cílem rozšířit jazyk C o vybrané vysokoúrovňové techniky bez přidané režie. V rámci práce byla srovnána řada jazyků, C Plus i s jeho gramatikou byly obohaceny o řadu nové funkcionality a byly diskutovány přínosy a srovnání s realizací v konkurenčních jazycích. Navržená rozšíření byla implementována v překladači.
|
host ::
RSS.