Category talk:SPARK: Difference between revisions
Content added Content deleted
(→Type Safety and run-time errors: It ain't everything.) |
(No difference)
|
Revision as of 01:31, 14 September 2010
Type Safety and run-time errors
Although I am not doubting that type safety checks can check for some types of errors that might occur at runtime, I am not sure that this is the same as saying that it assures there are no runtime errors. Errors that occur at run time might include for example:
- Timing errors.
- Randomly induced errors from hardware glitches.
- Resource allocation errors.
- ...
But assuming instant, exact, and infinite resources, then type checking might suffice (also assuming that you can work with the expressiveness of the language). --Paddy3118 01:31, 14 September 2010 (UTC)
(P.S. I am embarking on a journey down the path of safety critical systems where I'm currently thinking everything fails, you just have to work out to what degree we should guard against).