/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 ddili.org
Programming in D - Unions
| | www.ralfj.de
Formalizing Rust
4.7 parsecs away

Travel
| | My current research project - and the main topic of my PhD thesis - is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...
| | stefansf.de
Type-Based Alias Analysis in C
3.8 parsecs away

Travel
| | In this article we examine the strict aliasing rules of the C programming language which are the basis for Type-Based Alias Analysis and show some quirks
| | dlang.org
Function put - D Programming Language
3.2 parsecs away

Travel
| | D Programming Language
| | nora.codes
What Is Rust's unsafe? | Nora Codes
18.4 parsecs away

Travel
| [AI summary] The article explains the concept of 'unsafe' in Rust, clarifying that it allows specific low-level operations while maintaining overall memory safety through the language's type system and safe abstractions.