Encontrado 1 documento, a visualizar página 1 de 1

Calculating fault propagation in functional programs

Techn. Report TR-HASLab:01:2013 ; The production of safety critical software is bound to a number of safety and certification standards in which estimating the risk of failure plays a central role. Yet risk estimation seems to live outside most programmers’ core practice, involving simulation techniques and worst case analysis performed a posteriori. In this paper we propose that risk be constructively handled...