|
|
Jazyky a překladače v počítačových hrách
Hranáč, Jan ; Zuzaňák, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
Tento projekt se zabývá nasazením programovacích jazyků a kompilátorů v počítačových hrách. Cílem tohoto projektu je poskytnout mladým laikům motivaci k programování (kterou běžné programování v jazyce Pascal na úrovni středních škol a gymnázií ne vždy poskytuje). Tato idea byla aplikována na vytvořené počítačové hře, která má v sobě integrována několik jazyků, které slouží k vytváření herního obsahu této hry (dobrodružství, kampaně a objekty v nich se vyskytující). Tato hra byla vystavěna na stolní RPG hře Dračí Doupě(TM) od nakladatelství ALTAR(TM).
|
|
|
Automatizované metody hledání chyb v překladačích
Müller, Petr ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC.
|
|
|
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.
|
|
| |
|
|
Strojové překlady odborných textů
Juřík, Michal ; Smutný, Milan (oponent) ; Šťastná, Dagmar (vedoucí práce)
Tato bakalářská práce se zabývá a následně testuje způsoby pro hodnocení dvou strojových překladačů, a to od firmy Google a Microsoft. Na základě stanovených kritérií hodnotí jejich chybovost. Při hodnocení překladačů se práce zaměřuje nejen na to, zdali daný překladač dokázal přeložit soubor textů správně pravopisně a stylisticky, ale i zda odborná terminologie spolu s myšlenkou věty odpovídá původnímu textu. Na závěr ze získaných dat chybovosti je možné usoudit, pro jaké využití bude daný překladač způsobilejší.
|
|
|
Strojové překlady odborných textů
Juřík, Michal ; Smutný, Milan (oponent) ; Šťastná, Dagmar (vedoucí práce)
Tato bakalářská práce se zabývá a následně testuje způsoby pro hodnocení dvou strojových překladačů, a to od firmy Google a Microsoft. Na základě stanovených kritérií hodnotí jejich chybovost. Při hodnocení překladačů se práce zaměřuje nejen na to, zdali daný překladač dokázal přeložit soubor textů správně pravopisně a stylisticky, ale i zda odborná terminologie spolu s myšlenkou věty odpovídá původnímu textu. Na závěr ze získaných dat chybovosti je možné usoudit, pro jaké využití bude daný překladač způsobilejší.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
|
|
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
|
|
|
Prekladač jednoduchých algoritmov
Gonšenicová, Patrícia
Tato bakalářská práce se zabývá vytvořením webové aplikace pro překlad jednoduchých algoritmů napsaných v programovacím jazyce Pascal do jiných pro-gramovacích jazyků. Účelem aplikace je podpora výuky předmětu algoritmizace na Provozně ekonomické fakultě Mendelovy univerzity v Brně. Překlad je realizován pomocí lexikální a syntaktické analýzy využitím nástroje ANTLR a gramatiky Pas-calu, a následně využitím posluchače je implementována transformace kódu. Práce se věnuje jednotlivým etapám vývoje, jak je nastudování problematiky, ana-lýza řešení, analýza alternativ k aplikaci, návrh a implementace zvoleného řešení a testování.
|
|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
host ::
RSS.