2 ms·
> The claim I replied to said preventing things like data races was done till well into the 80's No, it definitely didn't: it said data races as a concept seem
by dbaupp 10y ago
> The claim I replied to said preventing things like data races was done till well into the 80's
No, it definitely didn't: it said data races as a concept seemed to not be formalised until the late 80's.
- nickpsecurity 10y agoThe word formalized might be where disagreement started. If you meant precise & useful, Hansen formalized the definition Ive seen in some books. If you mean in mathematical specification, you might be correct. Im not sure when that got started.