An axiomatization of the rational data objects
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)
Section A Algebraic & Constructive Theory of Machines, Computations and Languages
KeywordsRational 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.
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
© Springer-Verlag Berlin Heidelberg 1977