Good functors ... are those preserving philosophy!

  • Gilles Bernot
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 283)


The aim of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis functor when dealing with so-called loose semantics in a hierarchical approach. All our results and counter-examples are very simple, nevertheless they shed light on many common errors in the abstract specification field. We also summarize some properties of the category of models “protecting predefined sorts.”


abstract data types abstract specifications category theory completeness consistency initial model structured specifications 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. [ADJ 76]
    Goguen J., Thatcher J., Wagner E.:An initial algebra approach to the specification, correctness, and implementation of abstract data types”, Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978. Also: IBM Report RC 6487, Oct. 1976.Google Scholar
  2. [ADJ 80]
    Ehrig H., Kreowski H., Thatcher J., Wagner J., Wright J.:Parameterized data types in algebraic specification languages”, Proc. 7th ICALP, July 1980.Google Scholar
  3. [BBC 86.a]
    Bernot G., Bidoit M., Choppy C.:Abstract implementations and correctness proofs”, Proc. 3rd STACS, January 1986, Springer-Verlag LNCS 210, January 1986. Also: LRI Report 250, Orsay, Dec. 1985.Google Scholar
  4. [BBC 86b]
    G. Bernot, M. Bidoit, C. Choppy:Abstract data types with exception handling: an initial approach based on a distinction between exceptions and errors”, Theoretical Computer Science, Vol. 46, no 1, p. 13–45, November 1986.Google Scholar
  5. [Ber 86]
    Bernot G.:Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs: application à l'implémentation et aux primitives de structuration des spécifications formelles”, Thèse de troisième cycle, LRI, Université de Paris-Sud, Orsay, Février 1986.Google Scholar
  6. [Bid 82]
    Bidoit M.:Algebraic data types: structured specifications and fair presentations”, Proc. AFCET Symposium on Mathematics for Computer Science, Paris, March 1982.Google Scholar
  7. [Bid 84]
    Bidoit M.:Algebraic specification of exception handling by means of declarations and equations”, Proc. 11th ICALP, Springer-Verlag LNCS 172, July 1984.Google Scholar
  8. [BPW 82]
    Broy M., Pair C., Wirsing M.:A systematic study of models of abstract data types”, Theoretical Computer Sciences, p. 139–174, vol. 33, October 1984.Google Scholar
  9. [BW 82]
    Broy M., Wirsing M.:Partial abstract data types”, Acta Informatica, Vol.18-1, Nov. 1982.Google Scholar
  10. [EKMP 80]
    Ehrig H., Kreowski H., Mahr B., Padawitz P.:Algebraic implementation of abstract data types”, Theoretical Computer Science, Oct. 1980.Google Scholar
  11. [EKP 80]
    Ehrig H., Kreowski H., Padawitz P.:Algebraic implementation of abstract data types: concept, syntax, semantics and correctness”, Proc. ICALP, Springer-Verlag LNCS 85, 1980.Google Scholar
  12. [FGJM 85]
    Futatsugi K., Goguen J., Jouannaud J-P., Meseguer J.:Principles of OBJ2”, Proc. 12th ACM Symp. on Principle of Programming Languages, New Orleans, January 1985.Google Scholar
  13. [Gau 78]
    Gaudel M-C.:Spécifications incomplètes mais suffisantes de la représentation des types abstraits”, Laboria Report 320, 1978.Google Scholar
  14. [Gau 84]
    Gaudel M-C.:A first introduction to PLUSS”, LRI Report, Orsay, December 1984.Google Scholar
  15. [GDLE 84]
    Gogolla M., Drosten K., Lipeck U., Ehrich H.D.:Algebraic and operational semantics of specifications allowing exceptions and errors”, Theoretical Computer Science 34, North Holland, 1984.Google Scholar
  16. [GH 83]
    Guttag J.V., Horning J.J.:An introduction to the LARCH shared language”, Proc. IFIP 83, REA Mason ed., North Holland Publishing Company, 1983.Google Scholar
  17. [Kam 80]
    Kamin S.:Final data type specifications: a new data type specification method”, Proc. of the 7th POPL Conference, 1980.Google Scholar
  18. [SW 82]
    Sannella D., Wirsing M.:Implementation of parameterized specifications”, Report CSR-103-82, Department of Computer Science, University of Edinburgh.Google Scholar
  19. [SW 83]
    Sannella D., Wirsing M.:A kernel language for algebraic specification and implementation”, Proc. Intl. Conf. on Foundations of computation Theory, Springer-Verlag, LNCS 158, 1983.Google Scholar
  20. [Wir 82]
    Wirsing M.:Structured algebraic specifications”, Proc. of AFCET Symposium on Mathematics for Computer Science, Paris, March 1982.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Gilles Bernot
    • 1
  1. 1.Laboratoire de Recherche en Informatique Bât 490Université PARIS-SUDOrsay CedexFrance

Personalised recommendations