|
You are here |
ddili.org | ||
| | | | |
www.ralfj.de
|
|
| | | | | 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 ... | |
| | | | |
dlang.org
|
|
| | | | | D Programming Language | |
| | | | |
stefansf.de
|
|
| | | | | 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 | |
| | | | |
aras-p.info
|
|
| | | |||