Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6598
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMurta,Den
dc.contributor.authorJosé Nuno Oliveiraen
dc.date.accessioned2018-01-17T10:14:21Z-
dc.date.available2018-01-17T10:14:21Z-
dc.date.issued2015en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6598-
dc.identifier.urihttp://dx.doi.org/10.1016/j.scico.2015.04.008en
dc.description.abstractIn 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.en
dc.languageengen
dc.relation5601en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleA study of risk-aware program transformationen
dc.typearticleen
dc.typePublicationen
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.