Advertisement

An axiomatization of the rational data objects

  • J. A. Bergstra
  • A. Ollongren
  • Th. P. van der Weide
Section A Algebraic & Constructive Theory of Machines, Computations and Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Keywords

Rational Object Selection Path Induction Scheme Sequence Induction Elementary Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.V. Guttag 1975, "The specification and Application to Programming of Abstract Data Types", Technical Report CSRG-59, Dept. of Electrical Engineering and Dept. of Computer Science, University of Toronto.Google Scholar
  2. [2]
    H.D. Ehrich 1976, "Outline of an algebraic theory of structured objects", Automata, Languages and Programming, Third International Colloquium, Edinburgh University Press, p. 508–530.Google Scholar
  3. [3]
    G.A. Terpstra, Th.P. van der Weide, H.J.M. Goeman, A. Ollongren, J.A. Bergstra 1976, "Uniform axioms for structured objects", Report No. 76-7, Institute of Applied Mathematics and Computer Science, University of Leiden.Google Scholar
  4. [4]
    J.A. Bergstra, A. Ollongren, Th.P. van der Weide, "An axiomatization of the rational data objects", Report No. 77-2, Institute of Applied Mathematics and Computer Science, University of Leiden.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • J. A. Bergstra
    • 1
  • A. Ollongren
    • 1
  • Th. P. van der Weide
    • 1
  1. 1.Institute of Applied Mathematics and Computer ScienceUniversity of LeidenThe Netherlands

Personalised recommendations