|
|
Překladač podmnožiny jazyka Python
Falhar, Radek ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Python je dynamicky typovaný, interpretovaný programovací jazyk. Díky dynamickému typovému systému je tedy obtížné jej zkompilovat do statického zdrojového kódu. Tedy kódu, kde je přesně dáno, jaké typy existují a jaká je jejich struktůra. Existuje několik způsobů jak tohoto dosáhnout a jedním z primárních je typová inference. Tento přístup se snaží určit struktura typů ze zdrojového kódu. V případě jazyka Python je však tento přístup obtížný, protože výsledný typový systém je velice komplexní a jazyk samotný není k typové inferenci navržen. V této práci jsem se zaměřil na identifikaci podmnožiny tohoto jazyka, aby byla možná typová inference při zachování co nejpřirozenějšího použití jazyka. Následně jsem implementoval překladač, který tuto podmnožinu přeloží do staticky typovaného jazyka, který pak lze přeložit do nativního kódu.
|
|
|
Specializovaný interpret jazyka JavaScript
Borůvka, Jan ; Rychnovský, Lukáš (oponent) ; Peringer, Petr (vedoucí práce)
Cílem diplomové práce je navrhnout a implementovat interpret jazyka JavaScript, který je vytvářen pro potřebu obcházení zatemňovacích obálek některých druhů počítačových virů. Součástí práce je podrobný rozbor vnitřních mechanismů, pomocí kterých je v ECMAScript standardu přesně definováno chování jazyka.
|
|
|
Převod binárního kódu x86 do vyššího programovacího jazyka
Jurík, Marián ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
Cílem diplomové práce je navrhnutí a implementace programu na převod binárního kódu do vyššího programovacího jazyka. Práce je zaměřena na binární soubory pro operační systém MS Windows. Je zde podrobně popsán souborový formát PE, který definuje způsob ukládání binárního kódu do souboru. Také je popsána instrukční sada IA-32, kde byl hlavně kladen důraz na způsob dekódování binárního kódu do jazyka symbolických adres. Součástí práce jsou popsány typické konstrukce používané při překladu a návrh vyššího programovacího jazyka. Návrh vychází z existujících jazyků C, C++ a jazyka symbolických adres. Předposlední kapitola pojednává o návrhu programu a samotné implementace. V závěru práce jsou zhodnoceny její výhody a nevýhody.
|
|
|
Jazyk vyšší úrovně abstrakce pro programování mobilních inteligentních agentů
Kalmár, Róbert ; Horáček, Jan (oponent) ; Zbořil, František (vedoucí práce)
Cílem této práce je návrh jazyka vyšší urovně abstrakce pro programování mobilních inteligentních agentů a implementace překladače pro tento jazyk. Bude představen nástroj ANTLR pro generování syntaktických a lexikálnych analyzátorů. Čtěnář bude seznámen s teoretickou i praktickou stránkou implementace překladače tak jako s programovaním v tomto jazyce. V závěre práce bude představeno prostredí pro programování spomínaném jazyce a příklady agentních kódů.
|
|
|
Lexikální analyzátor pro víceprocesorové počítače
Otáhal, Jiří ; Goldefus, Filip (oponent) ; Čermák, Martin (vedoucí práce)
Cílem práce je vymyslet metodu, která urychlí analýzu zdrojových textů na víceprocesorových počítačích. Pro tento účel aplikace využívá spuštění více procesů pod systémem UNIX. Každý takto vytvořený proces analyzuje předem určený blok ve zdrojovém souboru a poté se ukončí. Výstupem těchto procesů jsou vnitřní struktury, které reprezentují právě daný blok. Ze struktur je již sekvenčně vytvořen mezikód, který se následně interpretuje. Takto provedená paralelní analýza vedla ke zrychlení oproti klasické sekvenční.
|
|
| |
|
|
Virtuální platformy pro simulaci instrukčních sad
Ministr, Martin ; Přikryl, Zdeněk (oponent) ; Masařík, Karel (vedoucí práce)
Tato práce se zabývá vytvořením generátorů kódu pro existující virtuální platformy QEMU a OVP. Práce se skládá ze studie technik, které používají ke své práci virtuální stroje. Hlavní částí práce je návrh procesu transformace vstupních instrukčních sad na kód, který používají tyto virtuální platformy. Výsledkem práce jsou funkční programy, které provádí generování kódu pro tyto virtuální platformy.
|
|
|
Překladač jazyka stavového diagramu do jazyka CHILL
Goldmannová, Zuzana ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Tato práce se zabývá gramatikou existujícího proprietárního jazyka stavových diagramů, který se používá k modelaci stavových automatů použitých v pobočkových ústřednách. Cílem práce byla analýza gramatiky a stávajícího překladače z tohoto jazyka do jazyka CHILL a návrh a implementace překladače nového. Tento překladač bude lépe udržovatelný a odstraňovat chyby a nedostatky stávajícího řešení. Závěrem je tento překladač otestován za použití jak již existujících souborů, které byly dříve vytvořeny pro stávající překladač, tak souborů, které jsem vytvořila pro testovací účely.
|
|
|
Skriptovací jazyk pro zpracování obrazu
Crlík, Radek ; Španěl, Michal (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato bakalářská práce se zabývá možnostmi skriptovacích jazyků a jejich druhů. Konkrétně pak návrhu takového jazyka pro obor zpracování obrazů. Cílem bylo vytvoření jazyka, který je malý, ale lehce použitelný. Cílem bylo využít knihovny OpenCV, pro kterou by výsledný jazyk umožňoval co nejkratší zápis kódu. První část se zabývá popisem a zpracováním skriptovacích jazyků počítačem. Druhá část obsahuje popis navrhovaného jazyka. Třetí a poslední část, dokumentuje možnosti dalšího rozšíření.
|
|
|
Generování kódu z Objektově orientovaných Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných Petriho sítí (OOPN) v prostředí těchto jazyků. Takový model by měl být jednodušší a efektivnější, než nabízí aktuální implementace v prostředí jazyka Smalltalk. Práce také uvádí návrh abstraktizace generátoru kódu tak, aby byl schopen generovat výsledný kód v různých jazycích.
|
host ::
RSS.