Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky – Bc. Kamil Čupr
Bc. Kamil Čupr
Master's thesis
Abstraktní interpretace s využítím vícehodnotové celočíselné aritmetiky
Abstract Interpretation with Multi-Valued Integer Arithmetics
Abstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 9. 1. 2012
Identifier:
https://is.muni.cz/th/luemv/
Thesis defence
- Date of defence: 8. 2. 2012
- Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
- Reader: doc. RNDr. Jan Strejček, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
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Á