Bc. Vladimír Uhlík

Bachelor's thesis

Compiling C to Cthulhu

Compiling C to Cthulhu
Abstract:
Prítomnosť chýb v programoch je nežiaducim javom pri vývoji softvéru. Jedným zo spôsobov overovania správnosti programu je formálna verifikácia. Cieľom tejto práce je rozšíriť možnosti verifikácie pomocou jazyka Cthulhu návrhom a implementáciou prekladača jazyka C do Cthulhu. Cthulhu je nízkoúrovňový, staticky typovaný, funkcionálny programovací jazyk určený na transformáciu, testovanie a verifikáciu …more
Abstract:
The presence of bugs in programs is an undesirable software development phenomenon. One way to verify the correctness of a program is through formal verification. The aim of this thesis is to extend the verification capabilities of Cthulhu by designing and implementing a C-to-Cthulhu compiler. Cthulhu is a low-level, statically typed, functional programming language aimed at program transformation …more
 

Keywords

Cthulhu C compiler stack signature structure functor
 
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2024
Identifier: https://is.muni.cz/th/paeh4/

Thesis defence

  • Date of defence: 24. 6. 2024
  • Supervisor: RNDr. Petr Ročkai, Ph.D.
  • Reader: Mgr. Adam Matoušek

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

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.