← A convert-to-floating-point function at the frontier of formal verification On arrays vs. pointers →
I discovered another blog
Pascal Cuoq - 12th Apr 2012If you like this blog, then on the basis of recent posts, you will with good probability like that blog. The recent posts I have read all deal with various subtle undefined behaviors in C.