logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-07092019-130036


Tipo di tesi
Tesi di laurea magistrale
Autore
AIT LAMQADEM, AMIN
URN
etd-07092019-130036
Titolo
A Formalization of the Static Semantics of Rust
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof. Corradini, Andrea
Parole chiave
  • language workbenches
  • programming languages
  • rust
  • static semantics
  • type systems
Data inizio appello
26/07/2019
Consultabilità
Completa
Riassunto
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