|
|
Systémy syntaxí řízených překladačů a jejich využití
Svoboda, Sebastián ; Havel, Martin (referee) ; Meduna, Alexandr (advisor)
This thesis introduces a new, both syntactically and semantically unique imperative programming language Flowlang and its compiler. Unique are operators specifically. They help solve a narrow set of problems, where transformation and filtering of data happens in a fixed sequence of steps. The language is compiled to WebAssembly. An interpreter and a toolset has been developed alongside of it.
|
|
|
Grammar Systems and Their Applications
Kříčka, Dalibor ; Klembara, Radovan (referee) ; Meduna, Alexandr (advisor)
This thesis aims to introduce a new type of cooperating distributed (CD) grammar system based on already existing types, then define a specific grammar system of the new type and apply it within a parser. The newly introduced type combines features of the hybrid CD grammar system and CD grammar system with internal control and emphasizes the determinism of cooperation protocol. The explicitly defined grammar system applies three methods of syntactic analysis (LL predictive, precedence and SLR) and accepts a subset of C++ language. The practical aspect of this thesis demonstrates the applicability of the mentioned grammar system by console application, which implements the forepart of a compiler based on this system.
|
|
|
Code Analysis and Transformation
Křoustek, Jakub ; Masařík, Karel (referee) ; Meduna, Alexandr (advisor)
This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of tool that can disassemble from binary form to symbolic machine code. This operation is highly dependent on the concrete instruction set, and it has to be used for a beforehand known processor architecture. This problem is solved with patterns, plug-ins, and modularity of disassembler. These features provide users the ability to add new instruction sets into this disassembler. The output is the text representation of instructions and is functionally equivalent to the in-put. The thesis demonstrates usual methods of disassembly as well as the methods made by the author.
|
|
|
HLS development tool for DSP with custom programming language
Pastušek, Václav ; Dvořák, Vojtěch (referee) ; Fujcik, Lukáš (advisor)
Nowadays, there are many different high-level syntheses for describing digital circuits. The best known ones generate VHDL code from programming languages such as ANSI C, C++, SystemC, SystemVerilog and MATLAB. But not everyone will identify with that type of programming, so sometimes it's good to go to a higher level of abstraction, where the internals of the components are hidden, and then the components are called with inputs and outputs. This thesis deals with the design of HLS, the design of input pseudocode, pseudo-libraries, compiler created in Python, its modules and practical application.
|
|
|
C Compiler for AVR32 Microprocesor
Nagy, Michal ; Husár, Adam (referee) ; Hruška, Tomáš (advisor)
This bachelor's thesis deals with creation of an AVR32 backend for the LLVM compiler framework. The core of this work consists of explaining the way of architecture description in LLVM and of my own implementation of the AVR32 backend. Furthermore, several problems encountered during the implementation are discussed along with their possible solutions. As the result of this work functional backend, with a few constraints discussed in the conclusion chapter, was created.
|
|
|
Parallel Versions of General Parsing
Mikita, Tibor ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis deals with general parsing methods. The author studies the Cocke-Younger-Kasami algorithm and comes up with a design of a parallel version. The motivation of~the author is the acceleration of parsing based on this algorithm. The result is a console application that can determine whether an input string belongs to a language generated by the input grammar or not on the basis of the designed parallel algorithm. For the programming language, C++ was chosen. To achieve parallelism the work of the algorithm was divided among several threads.
|
|
|
Parallel Parsing
Holko, Maroš ; Regéciová, Dominika (referee) ; Meduna, Alexandr (advisor)
The goal of this bachelor thesis is to create and implement a parallel version of a Cocke-Younger-Kasami algorithm, which is used for syntactic analysis. This algorithm works with context-free grammars, so a big part of this work is dedicated to context-free grammars and their transformation to the Chomsky normal form. Output of this thesis is console application in C++ which use threads for parallel processing. There is also an extension for finding all rule successions for given input string designed and implemented. In the end there is a discussion about program's advantages and disadvantages.
|
|
|
Architecture Information for LLVM Compiler Optimizations
Svoboda, Jan ; Dolíhal, Luděk (referee) ; Hruška, Tomáš (advisor)
Tato práce se zabývá automatickou extrakcí informací o architektuře procesoru z jazyka CodAL. Získané informace jsou využity jako základ pro cenový model optimalizátoru překladače LLVM. V rámci práce vznikl nový systém, který vytváří cenový model, převádí jej do C++ kódu a sestavuje do dynamické knihovny. Tato knihovna je za běhu načtena překladačem a využita pro přesnější rozhodování o přínosech jednotlivých optimalizací. Výsledkem práce je průměrné 14% snížení velikosti strojového kódu programů a až 68% zlepšení výkonu generovaného kódu.
|
|
|
Code Generation from Object Oriented Petri Nets
Cibák, Michal ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The goal of this thesis is to analyze the current solution of a code generator from Object oriented Petri nets written in PNTalk language to Java language, propose changes and implement them. First the overall scheme was analyzed and missing parts were specified, then the source code of the compiler was analyzed and errors were found. The proposed corrections of errors in the compiler were made and some missing parts from the scheme were partially implemented within the compiler.
|
|
|
Compiler Back-End of Subset of Language C for 8-Bit Processor
Horník, Jakub ; Koutný, Jiří (referee) ; Křivka, Zbyněk (advisor)
A compiler allows us to describe an algorithm in a high-level programming language with a higher level of abstraction and readability than a low-level machine code. This work describes design of the compiler back-end of subset of language C for 8-bit soft-core microcontroller Xilinx PicoBlaze-3. Design is described from the initial selection of a suitable framework to the implementation itself. One of the main reasons of this work is that there is not any suitable compiler for this processor.
|
guest ::
