Zpět na vyhledávání

Bc. Nastasia Kovářová

Master's thesis

Structures for Arbitrary-Width Integer Arithmetic

Structures for Arbitrary-Width Integer Arithmetic
Abstract:
Cieľom tejto práce je implementovať bit-vektorovú aritmetiku pre bit-vektory rôznej dĺžky vo vybranom medzijazyku. Tento medzijazyk je založený na virtuálnom stroji, ktorý vykonáva výpočty nad zásobníkom, čomu musí byť naša implementácie prispôsobená. Ďalej musel byť kód operácií, ktorý generujeme, vytvorený tak, aby neobsahoval cykly. Naša implementácie dekomponuje problém na dva samostatné podproblémy …more
Abstract:
In this thesis, we implement variable-length bit vector arithmetic for an intermediate language. This language runs on a stack-based virtual machine, so our implementation must be compatible with this paradigm. Moreover, the machine code had to be generated so that it did not contain any loops. Our implementation decomposes the problem into two separate problems, making the resulting implementation …more
 

Keywords

bit vector signature structure functor arbitrary-width arithmetic intermediate language standard arithmetic operations
 
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2023
Identifier: https://is.muni.cz/th/srls0/

Thesis defence

  • Date of defence: 13. 2. 2024
  • Supervisor: RNDr. Petr Ročkai, Ph.D.
  • Reader: RNDr. Martin Jonáš, 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:
Theoretical computer science / Formal analysis of computer systems

Theses on a related topic

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