Reply to thread

Message: [QUOTE="Richard Damon, post: 1676703"] Would it be possible to consider that the errors during output as inputs to the program? (In one sense they are as it is data that comes to the program from to OS or hardware when the write is issued). This should have the effect of negating the argument that any output renders the program non-SC due to the possibility of I/O errors, as now the (non)presence of I/O errors would be specified by the input given to the program. It would say that a given implementation may not be able to generate an arbitrary input condition (like no error with more output then the device can hold) but would allow us to define what the output should be for all inputs (with error condition specifications) which the system can generate. [/QUOTE]