Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky – Bc. Kamil Čupr
Bc. Kamil Čupr
Diplomová práce
Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky
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.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 9. 1. 2012
Identifikátor:
https://is.muni.cz/th/luemv/
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.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Pollock, Newman, Rothko - Interpretace abstraktní zkušenosti
Filip Halas -
Abstraktní interpretace
Jakub Kermaschek -
Bezděčné umění - Interpretace v souvislosti abstraktního umění
Markéta JORDOVÁ