Calculating fault propagation in functional programs

Techn. Report TR-HASLab:01:2013

Bibliographic Details
Main Author: Murta, Daniel R. (author)
Other Authors: Oliveira, José Nuno Fonseca (author)
Format: report
Language:eng
Published: 2013
Subjects:
Linear algebra of programming
Probabilistic risk assessment
Program transformation
Fault propagation
Online Access:http://hdl.handle.net/1822/25975
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/25975

Internet

http://hdl.handle.net/1822/25975

Similar Items