3 citations · 3 across the 1 of their papers we have counts for
1 paper
Baptiste David
Whenever a bug occurs in a program, software developers assume that the code is flawed, not the compiler. In fact, if compilers should be correct, they are just normal software wit…