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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1976
Accession Number
ADA035618

Entities

People

  • Ellis S. Cohen

Organizations

  • Carnegie Mellon University

Tags

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Theoretical Analysis.