[SystemSafety] C for OSs

[Chris Hills]

It depends how obsessional you get. J 

However my point, usually made by the audience before I get there, is that it would be much easier to start with SPARK in the first place. 

 

From: Olwen Morgan [mailto:olwen at phaedsys.com] 
Sent: Sunday, September 15, 2019 8:25 PM
To: safetyyork at phaedsys.com; systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] C for OSs

PS: Also, a propos of what was snipped out of the above, I've never said you can make C as good as SPARK - only that if you are sufficiently obsessional, you can make C code quality approach SPARK levels - so I disagree slightly with Chris here.


This email has been scanned by BullGuard antivirus protection.
For more info visit www.bullguard.com <http://www.bullguard.com/tracking.aspx?affiliate=bullguard&buyaffiliate=smtp&url=/> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190916/ef2b6db4/attachment-0001.html>