Typsicherheit in Rust auf den Prüfstand gestellt

Typsicherheit in Rust auf den Prüfstand gestellt

Typsicherheit in Rust auf den Prüfstand gestellt

Die Programmiersprache Rust soll besonders sicher sein. In seiner Dissertation hat Doktorand Ralf Jung die Typsicherheit verifiziert und mit seinem Tool „Miri“ die Möglichkeiten verbessert, bei Bedarf auch unsicheren Code zu erzeugen.

Artikel lesen

Schreibe einen Kommentar