Skip to main content
SpringerLink
Log in

An axiomatic approach to information structures

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1976 (MFCS 1976)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 45))

Abstract

The axiom system given here evolved from a specific philosophy of how information is structured in order to be manipulated by computers. It leads to a general framework comprising a great variety of models, from which the Vienna objects and their derivatives considered so far are only special cases. The axiom system is consistent in the sense that there is a model for it. The problems of independence and completeness have not been considered. They lie outside the scope of this paper.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cremers, A. — Hibbard, T.N.: The semantic definition of programming languages in terms of their data spaces. Proc. 4. Fachtagung der GI über Programmier-sprachen. Fachberichte Informatik, Springer-Verlag, Berlin 1976, 1–11.

    Google Scholar 

  2. Deussen, P.: Halbgruppen und Automaten. Heidelberger Taschenbücher, Springer-Verlag, Berlin 1971.

    Google Scholar 

  3. Ehrich, H.-D.: Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte. Bericht 5/74, Abteilung Informatik, Universität Dortmund 1974.

    Google Scholar 

  4. Ehrich, H.-D.: Outline of an algebraic theory of structured objects. Proc. 3rd International Colloquium on Automata, Languages and Programming, Edinburgh University Press, Edinburgh 1976.

    Google Scholar 

  5. Goodwin, J.R.: The structure of finite right transformation semigroups. Ph.D. thesis, University of California, Berkeley 1969.

    Google Scholar 

  6. Lucas, P.-Lauer, P.-Stigleitner, H.: Method and notation for the formal definition of programming languages. Tech. Report TR 25.087, IBM Lab. Vienna, 1968, rev. 1970.

    Google Scholar 

  7. Ollongren, A.: Definition of programming languages by interpreting automata. Academic Press, London 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Informatik, Universität Dortmund, 4600, Dortmund 50, Fed. Rep. of Germany

    H. -D. Ehrich

Authors
  1. H. -D. Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, H.D. (1976). An axiomatic approach to information structures. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_187

Download citation

  • DOI: https://doi.org/10.1007/3-540-07854-1_187

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07854-8

  • Online ISBN: 978-3-540-38169-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation