3 ms·
Do you have a link to bjarnes writeup? My ask Jeeves skills are failing me.
by mrfusion 5y ago
Do you have a link to bjarnes writeup? My ask Jeeves skills are failing me.
- LeifCarrotson 5y agoI don't think it was actually written by Bjarne, I think it was K. Carroll and others from Lockheed Martin, but I expect the document is this one: https://www.stroustrup.com/JSF-AV-rules.pdf https://www.stroustrup.com/JSF-AV-rules.pdf which is linked from the Applications page of Bjarne's website.
- jb1991 5y agoAh, thanks for the link; yes this is the one I was referring to. I had thought it was by Bjarne since it was on his site, but either way, it's an interesting read.
- maxlybbert 5y agoThere are a couple others as well: https://stroustrup.com/autonomics09.pdf https://stroustrup.com/autonomics09.pdf https://stroustrup.com/sec09.pdf https://stroustrup.com/sec09.pdf https://stroustrup.com/mbd09.pdf https://stroustrup.com/mbd09.pdf
- funklute 5y agoThis one might also be interesting https://web.cecs.pdx.edu/~kimchris/cs201/handouts/The%20Power%20of%2010%20-%20Rules%20for%20Developing%20Safety%20Critical%20Code.pdf https://web.cecs.pdx.edu/~kimchris/cs201/handouts/The%20Powe... It's basically just a quick list of 10 useful rules to follow for safety-critical code. (I've seen a different format in the past, that wasn't quite as fancy, but this is the only version I can find at the moment)
- TchoBeer 5y agoInteresting. I wonder how compiler-dependent rule 10 is. Like, if I'm writing for a compiler that gives really bad and usually unhelpful warnings that make my code worse... but I suppose these are more very strict guidelines than rules.
- pjc50 5y agoThat section explicitly addresses that question and says you should rewrite it in a way that avoids the warning, since "usually unhelpful" means "sometimes critical". It's certainly an uncompromising view but that's what you get when failure is disastrous.