Skip to main content
SpringerLink
Log in

Towards a semantics-based information theory

  • Published:
Formal Aspects of Computing

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 oninformation domains, a refinement of the classical domains used in denotational semantics, and on the theory of abstract interpretation of functional languages.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abramsky, S. and Hankin, C. (eds):Abstract Interpretation of Declarative Languages, Computers and Their Applications, Ellis Horwood, 1987.

  2. Baumann, P.: Information Domains. Technical Report 89.10, Institut für Informatik der Universität Zürich, December 1989.

  3. Burn, G. L.: Deriving a Parallel Evaluation Model for Lazy Functional Languages Using Abstract Interpretation. In:Parallel Computing, pp. 111–166. John Wiley & Sons, 1989.

  4. Curien, P. L.:Categorical Combinators, Sequential Algorithms and Functional Programming, Research Notes in Theoretical Computer Science, Pitman, London, 1986.

    Google Scholar 

  5. Denning, P. J., Comer, D. E., Gries, D. et al.: Computing as a Discipline.CACM,32(1), 9–23 (1989).

    Google Scholar 

  6. Kahn, G. and Plotkin, G. D.: Domaines concrets. Rapport de Recherche 336, IRIA, December 1978.

  7. Milner, R.: Fully Abstract Models of Typed λ-calculi.TCS,4(1), 1–22 (1977).

    Google Scholar 

  8. Scarrott, G. G.: The Nature of Information.The Computer Journal,32(3), 262–266 (1989).

    Google Scholar 

  9. Scott, D. S.: Lectures on a Mathematical Theory of Computation. Technical Monograph PRG-19, Oxford University Computing Laboratory, May 1981.

  10. Scott, D. S.: Domains for Denotational Semantics. In:9th ICALP: Automata, Languages and Programming, pp. 577–613, LNCS 140, Springer-Verlag, 1982.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Zurich, Winterthurerstr. 190, CH-8057, Zurich, Switzerland

    Peter Baumann

Authors
  1. Peter Baumann
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baumann, P. Towards a semantics-based information theory. Formal Aspects of Computing 3, 315–325 (1991). https://doi.org/10.1007/BF01642506

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01642506

Keywords

Search

Navigation