Periodic Reporting for period 4 - RustBelt (Logical Foundations for the Future of Safe Systems Programming)

Summary
The RustBelt project is motivated by a longstanding open question in the design of languages for programming complex software systems, namely: How can we provide programmers with both safety and control? Systems programming languages like C and C++ give programmers low-level...
More information & hyperlinks