|
|
A Compiler of Language Python Subset
Falhar, Radek ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
Python is dynamically typed interpreted programming language. Thanks to its dynamic type system, it is difficult to compile it into statically typed source code. The kind of source code, where it is exactly specified what types exist and what their structure is. Multiple approaches exist how to achieve this and one of the primary ones is type inference. This approach is attempting to infer the type structure from the source code. In case of Python language, this approach is difficult, because resulting type system is quite complex and language itself is not designed for type inference. In this work, I have focused on identifying subset of this language, so that type inference is possible while keeping the natural way the language is used. Then I implemented a compiler, which will compile this subset into statically typed language, which can be translated into native code.
|
|
| |
|
|
Translation of x86 Binary Code To a High-Level Language
Jurík, Marián ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The purpose of this MSc thesis is to create design and implementation of program for translation of x86 binary code to a high-level programming language. There is described PE file format for executables used in MS Windows operating systems in the first part of work. This document contains general information about instruction set IA-32, especially a way of decoding binary code to assembly language. There are described typical program constructions, which are being used in compilers. Design of creation high-level programming language was inspired by existing programming languages. Conclusion is made about advantages and disadvantages of approach used in this thesis.
|
|
|
Language of Higher Level of Abstraction for Programming Mobile Intelligent Agents
Kalmár, Róbert ; Horáček, Jan (referee) ; Zbořil, František (advisor)
The aim of this work is to design a language of higher level of abstraction for programming mobile intelligent agents and implement a compiler for this language. There will also be presented the ANTLR tool for generating syntax and lexical analyzers. The reader will become familiar with theoretical and practical aspects of implementation of the compiler and also with programming in this language. There will be shown the environment for programming in this language and some examples of agent codes at the end.
|
|
|
Lexical Analyzer for Multiprocesor Computers
Otáhal, Jiří ; Goldefus, Filip (referee) ; Čermák, Martin (advisor)
Aim of this thesis is to invent method, which should accelerate speed of the analysis of source texts with multiprocessor computers. For this purpose application runs multiple process in Unix system. Each undergoing process analyzes exact partition in source file and then closes itself. Outcome of this process are internal structures, which presents exact partition. Inter-code is sequentially built from the structures which are subsequently interpreted. This kind of parallel analysis achieves acceleration of speed on the contrary of typical sequential analysis.
|
|
| |
|
|
Virtual Platforms for Instruction Set Simulation
Ministr, Martin ; Přikryl, Zdeněk (referee) ; Masařík, Karel (advisor)
This master's thesis deals with creation of generators of the code for existing virtual platforms QEMU and OVP. This work consist of study of techniques, which are used by virtual machines for their work. Main part of this work is the design of process, which transforms input instruction sets to the code used by these virtual platforms. As the result of this work functional programs, which generate the code for these virtual platforms, was created.
|
|
|
Compiler of State Diagram Language to CHILL Language
Goldmannová, Zuzana ; Matoušek, Petr (referee) ; Ryšavý, Ondřej (advisor)
This thesis deals with the grammar of an existing proprietary state diagram language, which is used to simulate state diagrams employed in telephone exchanges. The goal of this work is to analyze the grammar and existing compiler of this language to CHILL language and also to design and implement a new compiler. This new compiler will be easier to manage and will eliminate errors and imperfections of the current arrangement. Finally this compiler is tested using existing files, that were formerly created for the current compiler, and also using files I created for testing purposes.
|
|
|
Script Language for Image Processing
Crlík, Radek ; Španěl, Michal (referee) ; Zemčík, Pavel (advisor)
This bachelor thesis deals with capabilities of scripting languages and their types. Specifically with design of one such language suitable for image processing. The goal was to create a language small enough, but easy to use. One of the requirement was to utilize OpenCV library, for which the resulting code would be as short as possible. First part deals with descriptions of scripting languages, their main philosophy and options of language processing by the computer. Second part contains description of the designed language. Last part documents achieved goals and possible ways how to extend the language even further.
|
|
|
Code Generation from Object Oriented Petri Nets
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.
|
guest ::
