Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6598
Title: A study of risk-aware program transformation
Authors: Murta,D
José Nuno Oliveira
Issue Date: 2015
Abstract: In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer's technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.
URI: http://repositorio.inesctec.pt/handle/123456789/6598
http://dx.doi.org/10.1016/j.scico.2015.04.008
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00G-FY7.pdf887.21 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.