• language workbenches
• programming languages
• rust
• static semantics
• type systems

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.