Advertisement

The specification language GSBL

  • S. Clerici
  • F. Orejas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 534)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. [BG 80]
    R.M. Burstall,; J.A. Goguen, The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292–332, 1980.Google Scholar
  2. [Cle 89]
    S. Clerici, Un lenguaje para el diseño y validación de especificaciones algebraicas. Tesis doctoral. Depto. de Lenguajes y Sist. Informáticos. Univ. Polit. de Cataluña, 1989.Google Scholar
  3. [CO 88]
    S. Clerici,; F. Orejas, GSBL: an algebraic specification language based on inheritance, Proc. Europ. Conf. on Object Oriented Programming, (Oslo, 1988), Springer LNCS.Google Scholar
  4. [Ehg 89]
    H. Ehrig, A categorical concept of constraints for algebraic specifications, Proc. International Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin 1988, Springer LNCS 332, (1989).Google Scholar
  5. [EM 85]
    H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.Google Scholar
  6. [ETLZ 82]
    H. Ehrig, H., J.W. Thatcher, P. Lucas, S.N. Zilles, Denotational and initial algebra semantics of the algebraic specification language LOOK, Draft Report, IBM Research, 1982.Google Scholar
  7. [FGJM 85]
    K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer, Principles of OBJ 2, Proc. POPL 85, ACM (1985) 221–231.Google Scholar
  8. [GH 86]
    J. V. Guttag, J.J. Horning, Report on the Larch Shared Language, Science of Computer Programming 6, 2 (1986) 103–134.Google Scholar
  9. [HS 76]
    E. Horowitz, S. Sahni, Fundamentals of computer algorithms, Pitman 1976.Google Scholar
  10. [Mey 86]
    B. Meyer, Genericity versus Inheritance, Proc. ACM conf. Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391–405Google Scholar
  11. [Mey 86]
    B. Meyer, Reusability: the case for object oriented design, IEEE Software, March 1987.Google Scholar
  12. [OSC 89]
    F. Orejas, V. Sacristan, S. Clerici, Development of Algebraic Specifications with Constraints, Proc. International Workshop on Categorical Methods in Computer Science with Aspects from Topology, Berlin 1988, Springer LNCS 332, (1989)Google Scholar
  13. [Rei 80]
    H. Reichel, Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504–514.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • S. Clerici
    • 1
  • F. Orejas
    • 1
  1. 1.Dept. de Llenguatges i Sistemes InformàticsUniv. Polit. de CatalunyaBarcelonaSpain

Personalised recommendations