Jakub Kermaschek
Bachelor's thesis
Abstraktní interpretace
Abstract Interpretation
Abstract:
Cílem bakalářské práce je vytvořit framework, ve kterém je implementována abstraktní interpretace. Abstraktní interpretace spadá do oblasti statické analýzy programů. Programy, které jsou analyzovány jsou napsané v nově vytvořeném jazyce nazvaném KerLang. Pro příklad jsou zde uvedeny konkrétní typy abstraktních interpretací. V práci je nejprve uvedeno vytvoření samotného programovacího jazyka, skterým …moreAbstract:
The goal of this bachelor thesis is to create a framework, in which these abstract interpretations are implemented. Abstract interpretation is part of static analysis of programmes. Programmes, which are analysed are written in new programming language, which is called KerLang. For an example, there are given specific types of the abstract interpretations. In the thesis there is at first stated the …more
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2015
Identifier:
http://hdl.handle.net/10084/108859
Thesis defence
- Date of defence: 4. 6. 2015
- Supervisor: Zdeněk Sawa
- Reader: Marek Běhálek
Citation record
Full text of thesis
Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyBachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
Static analysis of Python code
Jakub Kiska -
Reduced product of abstract domains
Jan Dupal -
Integer abstract domains
Tomáš Brukner -
String abstract domains
Matej Šuta -
Static Code Analysis Tool for the Apex Programming Language
Belek Omurzakov -
Automatic Syntactic Analysis for Real-World Applications
Vojtěch Kovář -
Application-Oriented Syntactic Analysis of Czech
Vojtěch Kovář -
Headlines in British Online Tabloids: Syntactic and Lexical Analysis
Aneta Matějíčková