Towards a semantics-based information theory

descriptionPublicationkeyboard_double_arrow_right Article 01 Oct 1991 English Publisher:Association for Computing Machinery (ACM)Journal:Formal Aspects of Computing, volume 3, pages 315-325 (issn: 0934-5043, eissn: 1433-299X,

Copyright policy )

Authors: Peter Baumann 0006;

doi: 10.1007/bf01642506

Towards a semantics-based information theory

- Summary
- Subjects
- Metrics

Abstract

Abstract We develop a formal framework to give computer programs an abstract interpretation as information transformers. Then the quantitative relation between input and output information is investigated. Our theory is based on information domains , a refinement of the classical domains used in denotational semantics, and on the theory of abstract interpretation of functional languages.

Related Organizations

University of Zurich
Switzerland

Keywords

domain theory, Semantics in the theory of computing, abstract interpretation

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average