ETD system

Electronic theses and dissertations repository

 

Tesi etd-07092019-130036


Thesis type
Tesi di laurea magistrale
Author
AIT LAMQADEM, AMIN
URN
etd-07092019-130036
Title
A Formalization of the Static Semantics of Rust
Struttura
INFORMATICA
Corso di studi
INFORMATICA
Commissione
relatore Prof. Corradini, Andrea
Parole chiave
  • rust
  • static semantics
  • type systems
  • language workbenches
  • programming languages
Data inizio appello
26/07/2019;
Consultabilità
secretata d'ufficio
Riassunto analitico
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.
File