Clark, D., Hunt, S. & Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112(SPEC), 149 - 166. doi: 10.1016/j.entcs.2004.01.018
![[img]](http://openaccess.city.ac.uk/style/images/fileicons/application_pdf.png)
| PDF Download (303kB) | Preview |
Official URL: http://www.sciencedirect.com/science/journal/15710...
Abstract
We show how information theory can be used to give a quantitative definition of interference between variables in imperative programming languages. In this paper we focus on a particular case of this definition of interference: leakage of information from private variables to public ones in While language programs. The major result of the paper is a quantitative analysis for this language that employs a use-definition graph to calculate bounds on the leakage into each variable.
| Item Type: | Article |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | School of Informatics > Department of Computing |
| URI: | http://openaccess.city.ac.uk/id/eprint/192 |
Actions (login required)
| View Item |
Tools
Tools
