ETD

Digital archive of theses discussed at the University of Pisa

 

Tesi etd-07092019-130036


Thesis type
Tesi di laurea magistrale
Author
AIT LAMQADEM, AMIN
URN
etd-07092019-130036
Thesis title
A Formalization of the Static Semantics of Rust
Department
INFORMATICA
Course of study
INFORMATICA
Supervisors
relatore Prof. Corradini, Andrea
Keywords
  • type systems
  • static semantics
  • rust
  • programming languages
  • language workbenches
Graduation session start date
26/07/2019;
Consultabilità
Completa
Summary
File