Towards a semantics-based information theory
The purpose of this paper is to present an abstract interpretation of programs as information transformers. The interpretation is based on information domains, a proper subclass of the domains used in denotational semantics. A level of informtion is assigned to each value of these domains by a monotonic domain level function. The level of a value represents a quantitative measure of its information content. The abstract interpretation of a program maps levels of information to levels of information, giving a quantitative relation between input and output.
- Informativity in the category of multivalued information transformers
- A meaning based information theory - informalogical space: basic concepts and convergence of information sequences
- On the semantics of informational independence
- scientific article; zbMATH DE number 3859014 (Why is no real title available?)
- scientific article; zbMATH DE number 3898755 (Why is no real title available?)
- scientific article; zbMATH DE number 4067249 (Why is no real title available?)
This page was built for publication: Towards a semantics-based information theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179806)
