[cap-talk] C vs. Safety

[Baldur Johannsson]

Þann 5 ágúst 2008 ritaði Jonathan S. Shapiro <shap at eros-os.com>:
> On Tue, 2008-08-05 at 10:48 -0400, Jonathan S. Shapiro wrote:
>> On Tue, 2008-08-05 at 14:10 +1000, James A. Donald wrote:
-snip-
>
> The goal, of course, is *static* safety, and that is considerably harder
> to achieve. Still, it isn't unimaginable.
>
Hmm... isnt static safety as unsolvable as the famous halting problem?
That is the question: does program p ever do anything unsafe?

and what exactly is safety in this context, please?

as far as I understand it, safety is about limiting programs access
both to resources and other components of the computer system.

but I think that in this context safety is more about correctness of a
program than about above.

Just my 2 micrograms of gold ;-)
-Baldur