Advertisement

Initially — Restricting algebraic theories

  • H. Reichel
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 88)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /ADJ 75/.
    Goguen,J.A., Thatcher,J.W., Wagner,E.G., Wright,J.B.: Abstract Data Types as Initial Algebras and the Correctness of Data Representations, in Proc. Confr. on Computer Graphics, Pattern Recognition, and Data Structure (Beverly Hills, CA.) 1975, pp. 89–93Google Scholar
  2. /Ben 79/.
    Benecke,K.: Signaturketten und Operations-und Mengenformen über Signaturketten, Dissertation A, TH ‘Otto von Guericke’ Magdeburg, 1979Google Scholar
  3. /BG 77/.
    Burstall,R.M., Goguen,J.A.: Putting theories together to make specifications, Proc. Fifth Int. Joint Comp. On Artificial Intelligence, MIT (Cambridge,Mass)Google Scholar
  4. /Ehr 78/.
    Ehrich,H.-D.: On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, Forschungsbericht Dortmund, 1978Google Scholar
  5. /EKP 78/.
    Ehrig,H., Kreowski,H.-J., Padawitz,P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5. Int. Colloq. on Automata, Languages and Programming, Udine, 1978Google Scholar
  6. /FF 56/.
    Ford, L.R., Fulkerson, D.R.: Maximal flow through a network, Canadian J. of Math., 8 (1956), pp. 399Google Scholar
  7. /GT 77/.
    Goguen,J.A., Tardo,J.: OBJ-O Preliminary Users Manual, UCLA, Semantics and Theory of Computation Report, No. 10, 1977Google Scholar
  8. /GT 79/.
    Goguen, J.A., Tardo, J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications, UCLA, Los Angeles, 1979Google Scholar
  9. /HKR 80/.
    Hupbach, U., Kaphengst, H., Reichel, H.: Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen, VEB Robotron, Zentrum für Forschung und Technik, Dresden, WIB, 1980Google Scholar
  10. /Hup 79/.
    Hupbach,U.: A Uniform Mathematical Framwork for Initial Algebraic Specifications, VEB Robotron, Zentrum für Forschung und Technik, Dresden, Preprint, 1979Google Scholar
  11. /KR 71/.
    Kaphengst,H., Reichel,H.: Algebraische Algorithmentheorie, VEB Robotron, Zentrum für Forschung und Technik,Dresden, WIB Nr.1, 1971Google Scholar
  12. /KR 72/.
    Kaphengst, H., Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, in Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin, 1972Google Scholar
  13. /Law 63/.
    Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A.,50,1963, pp. 869–872Google Scholar
  14. /Mus 79/.
    Musser, D.R.: Abstract Data Types in the AFFIRM System, Proc. IEEE Conf. on Specification of Reliable Software, Cambridge, Mass., April 1979Google Scholar
  15. /Rei 79/.
    Reichel, H.: Theorie der Äquoide, Dissertation B, Humboldt Universität, Berlin, 1979Google Scholar
  16. /TWW 78/.
    Thatcher, J.W., Wagner,E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • H. Reichel
    • 1
  1. 1.TH “Otto von Guericke” Sektion Mathematik/PhysikMagdeburg

Personalised recommendations