Tesi di laurea magistrale
AIT LAMQADEM, AMIN
A Formalization of the Static Semantics of Rust
Corso di studi
relatore Prof. Corradini, Andrea
- static semantics
- type systems
- language workbenches
- programming languages
Data inizio appello
Rust is a language that uses a special type system to produce code that is efficient and to give guarantees on the memory safety of the produced code. Language Workbenches are tools that help language designer to describe declaratively language aspects only once and that produces automatically different implementations from these descriptions, such as compilers and IDEs. In this thesis we study Rust's type system by giving a formalization of the static semantics of a subset of the language. We derive for our formalization a specification for the Spoofax Language Workbench, deriving from our specification a compiler frontend and a IDE for our subset of Rust.
There are some hidden files because of the review of the procedures of theses' publication.