[SystemSafety] C for OSs

[Olwen Morgan]

... Now he tells us ... ? ... :-O

I doubt that we'll ever achieve truly secure operating systems in any 
imperative language. For my money, the way forward is languages like Erlang.


Olwen


On 06/09/2019 12:54, Peter Bernard Ladkin wrote:
> A quote from Tom van Vleck in Risks 31.40 today:
>
> "It seems clear that trying to write secure operating systems in C does not
> work.  Very smart people have tried for 50 years, and the solution to the
> problem is not reduced to practice. "
>
> PBL
>
> Prof. Peter Bernard Ladkin, Bielefeld, Germany
> MoreInCommon
> Je suis Charlie
> Tel+msg +49 (0)521 880 7319  www.rvs-bi.de
>
>
>
>
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190906/8bef6a6a/attachment.html>