/explore
|
You are here 
|
www.ralfj.de | ||
| | | | |
gustedt.wordpress.com
|
|
| | | | | [The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Peter Sewell from Cambridge University, UK, Martin Uecker from Graz University of Technology, Austria, and myself (from ICube/Inria, France) has guided the... | |
| | | | |
davmac.wordpress.com
|
|
| | | | | An unofficial collection of errata and general problems with the C99 and C11 standards. {C99,C11} 3.1 Weak definition; inconsistent usage of term It is probably a bad idea to redefine a word with such common usage as "access". The definition here is not very clear: to read or modify the value of an object Is... | |
| | | | |
tmandry.gitlab.io
|
|
| | | | | In Part 1, we covered how async fns in Rust are compiled to state machines. We saw that the internal compiler implementation uses generators and the yield statement to facilitate this transformation. We also saw that the optimal way to lay out one of these state machines in memory is using an enum-like representation, similar to the following: enum SumGenerator{Unresumed{xs: Vec},Suspend0{xs: Vec,iter0: Iter<'self,i32>,sum: i32 },Suspend1{xs: Vec,iter1: Iter<'self,i32>,sum: i32 },Returned}Each variable s... | |
| | | | |
stefansf.de
|
|
| | | Non-termination essentially invokes undefined behavior under certain conditions in C as well as C++ which we explore in this article. | ||
