Strong Dependency: A Formalism for Describing Information Transmission in Computational Systems,

摘要

This paper presents an information theoretic approach to information transmission in computational systems. The effect of constraint on information paths is formalized and a number of inductive techniques are developed for proving the absence of information transmission. Finally, it is shown how ordinary inductive assertions can be used in conjunction with the theory to analyse information paths in sequential programs.