The specification language GSBL | SpringerLink
Skip to main content
Springer Nature Link
Log in

The specification language GSBL

  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 534))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

5. References

  1. 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. 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. 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. 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. H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.

    Google Scholar 

  6. 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. K. Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer, Principles of OBJ 2, Proc. POPL 85, ACM (1985) 221–231.

    Google Scholar 

  8. J. V. Guttag, J.J. Horning, Report on the Larch Shared Language, Science of Computer Programming 6, 2 (1986) 103–134.

    Google Scholar 

  9. E. Horowitz, S. Sahni, Fundamentals of computer algorithms, Pitman 1976.

    Google Scholar 

  10. B. Meyer, Genericity versus Inheritance, Proc. ACM conf. Object-Oriented Programming Syst, Languages, and Applications, ACM, New York, 1986, pp. 391–405

    Google Scholar 

  11. B. Meyer, Reusability: the case for object oriented design, IEEE Software, March 1987.

    Google Scholar 

  12. 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. H. Reichel, Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504–514.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de Llenguatges i Sistemes Informàtics, Univ. Polit. de Catalunya, Barcelona, Spain

    S. Clerici & F. Orejas

Authors
  1. S. Clerici
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

H. Ehrig K. P. Jantke F. Orejas H. Reichel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Clerici, S., Orejas, F. (1991). The specification language GSBL. In: Ehrig, H., Jantke, K.P., Orejas, F., Reichel, H. (eds) Recent Trends in Data Type Specification. ADT 1990. Lecture Notes in Computer Science, vol 534. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54496-8_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-54496-8_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54496-8

  • Online ISBN: 978-3-540-38416-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation