Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky

Bc. Kamil Čupr

Diplomová práce

Abstract Interpretation with Multi-Valued Integer Arithmetics

Anotace:

Tato práce se zabývá implementací interpretu jednoduchých programů podobných jazyku C, s podporou vícehodnotové aritmetiky, booleovských výrazů a relačních operací.

Abstract:

This work aims at implementing of interpreter of simple c-style programs supporting multi-valued arithmetics as well as boolean expressions and relational operations.

Klíčová slova

interpret, abstraktní interpretace, vícehodnotová proměnná, vícehodnotová celočíselná aritmetika, over-aproximace interpreter, abstract interpretation, multi-valued variable, multi-valued integer arithmetic, over-approximation

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 9. 1. 2012

Obhajoba závěrečné práce

• Obhajoba proběhla 8. 2. 2012
• Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: doc. RNDr. Jan Strejček, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika