An axiomatic approach to information structures

  • H. -D. Ehrich
Communications
Part of the Lecture Notes in Computer Science book series (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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Deussen, P.: Halbgruppen und Automaten. Heidelberger Taschenbücher, Springer-Verlag, Berlin 1971.Google Scholar
  3. 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. 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. 5.
    Goodwin, J.R.: The structure of finite right transformation semigroups. Ph.D. thesis, University of California, Berkeley 1969.Google Scholar
  6. 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. 7.
    Ollongren, A.: Definition of programming languages by interpreting automata. Academic Press, London 1974.Google Scholar

Copyright information

© Springer-Verlag 1976

Authors and Affiliations

  • H. -D. Ehrich
    • 1
  1. 1.Abteilung InformatikUniversität DortmundDortmund 50Fed. Rep. of Germany

Personalised recommendations