Our Gourmet: I spy a great brewpub in Nashua
The best brewpubs are the ones where the food is as good as the beer.
Stay updated with breaking news from Abstract Machine. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
The best brewpubs are the ones where the food is as good as the beer.
About Leeds School of Architecture Location Leeds • Courses BA (Hons) Architecture, MArch • Head of school Sarah Mills • Full-time tutors 15 • Part-time
In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...
Pointers Are Complicated II, or: We need better language specs just because two pointers point to the same address, does not mean they are equal in the sense that they can be used interchangeably. This “extra information” that distinguishes different pointers to the same address is typically called provenance. This post is another attempt to convince you that provenance is “real”, by telling a cautionary tale of what can go wrong when provenance is not considered sufficiently carefully in an optimizing compiler. The post is self-contained; I am not assuming that you have read the fir...