Zpět na vyhledávání

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.
 

Keywords

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
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.