|
|
Prekladač jednoduchých algoritmov
Gonšenicová, Patrícia
The main goal of this bachelor thesis is to create web application, which will be used for transformation of simple algorithms written in Pascal to another pro-gramming language. Purpose of this application is to improve learning process of course Algorithm Development, taught at Faculty of Business and Economics on Mendel University in Brno. Translation is implemented using lexer and parser generated by ANTLR from Pascal grammar. To complete transformation of the code, is applied Listener. Thesis is describing all parts of application development, such as theoretical basics, analysis of solution and existing alternatives of application, design and implementation, and testing of the application.
|
|
|
Efficient Algorithms for Finite Automata
Polanský, Ondřej ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
This thesis compares languages C++, C#, OCaml and Python based on speed, memory requirements and programming comfort. The goal of this thesis is to find out how much does the choice of a certain programming language impact the performance of programs working with finite automata. The same set of basic and advanced automata algorithms was implemented in each language and their efficiency was measured on a sample of 200 finite automata using a unix based operating system. Finally, the author presents results and discusses suitability of each language for work with finite automata. This thesis can help with selecting an appropriate programming language for multitude of purposes, including development of automata algorithm libraries or the process of designing programs and prototypes that work with finite automata.
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (advisor) ; Ježek, Pavel (referee)
Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, we develop a contracts library and a translator program that compiles C# code into the Viper language and thus allows it to be verified. A user may annotate their C# program with these contracts and then use the translator to determine its functional correctness. The translator supports most C# features, including types and arrays. It also integrates with Visual Studio, showing translation and verification errors to the user on-the-fly.
|
|
|
Nízkoúrovňový funkcionální programovací jazyk
Kratochvíl, Miroslav ; Bednárek, David (advisor) ; Hric, Jan (referee)
The goal of this thesis is to explore the current possibilities of implementation of compilers of low-level functional languages. It is expected to evaluate theoretical possibilities of functional programming languages, possible limitations that arise from the absence of run-time code support in low-level environment, and to implement a language compiler that demonstrates some chosen properties. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
IDE for SCADA Development at CERN
Mareček, Matěj ; Holík, Lukáš (referee) ; Křivka, Zbyněk (advisor)
Cílem této magisterské práce je navrhnout a implementovat IDE (integrované vývojové prostředí), které zvýší efektivitu a bezpečnost vývoje pro SIMATIC WinCC Open Architecture. Tato práce je založena na výzkumu provedeném týmem z Technické univerzity v Eindhovenu a splňuje požadavky pocházející ze SCD sekce v CERN (Evropské organizace pro jaderný výzkum). Vyvinuté IDE je postaveno na platformě Eclipse, přičemž pro syntaktickou analýzu, linkování a sémantickou analýzu kódu používá Xtext framework. IDE nabízí také podporu pro nově vytvořený programovací jazyk, který umožňuje programátorům jednoduše nadefinovat šablonu pro konfigurační soubory používané WinCC OA. Interpret tohoto nového jazyka je schopen provést syntaktickou analýzu šablony a konfiguračního souboru a rozhodnout, zdali konfigurační soubor odpovídá šabloně. Praktickým výstupem této práce je integrované vývojové prostředí, které podporuje vývoj WinCC OA aplikací v CERN a periodicky provádí analýzu kódu těchto aplikací napsaného v jazyce Control script.
|
|
|
Comparison of PLC programming languages
Noga, Kamil ; Pásek, Jan (referee) ; Fiedler, Petr (advisor)
This work is dealing with programmable logic controller programing in Heidenhain and Mitsubishi systems. Primary aim of this work is to compare individually PLC programing and comparing diagnostic tools for programmer in both systems. Then this work is dealing with programing environment.
|
|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
Tato práce si klade za cíl navrhnout a implementovat experimentální programovací jazyk s podporou uživatelsky definovaných syntaktických konstrukcí. Nový jazyk je kompilován do nativní binární podoby a vyžaduje statickou typovou disciplínu v době překladu. Jazyk se skládá ze dvou hlavních komponent. První z nich je minimalistické jádro založené na principech zásobníkově orientovaných jazyků. Druhou částí je mechanismus pro definici nových syntaktických konstrukcí uživatelem. Poté jsou shrnuty poznatky nabyté při návrhu a experimentování s prototypem překladače tohoto jazyka.
|
|
| |
|
|
Touch panel controlled PLC systems for HV device control
Vlk, Jáchym ; Vyskočil, Pavel (referee) ; Kubíček, Michal (advisor)
The master thesis describes communication of PLC and touchscreen with purpose of high voltage control. The general information and framework are included. The thesis describes part of IVEP corporation development. Due to the beginning of a long-term development it is premature to come into conclusions within this master thesis. The first chapter deals with PLC and other components. The second chapter consists of matters about high voltage devices. The following chapter describes the programme part. The fourth and concluding chapter deals with the realization of the communication itself. A brief evaluation with prospects for the future is included in the conclusion.
|
guest ::
