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
Web resources: | http://plv.mpi-sws.org/rustbelt/ |