Abstract
In this paper we propose a semantic framework for dealing with class- sort polymorphism as presented in the last version of GLIDER. This kind of polymorphism is quite more powerful than the standard sort polymorphism that can be found in a number of functional languages (e.g. Standard ML, Miranda, etc.).In particular, polymorphic or generic types are considered to be parameterized by specifications (i.e. sorts, operations and even axioms) and not just by sorts. The semantic framework defined is based on the idea that the type structure underlying a certain specification should be a category. In particular, this category has, as objects, the given specifications including all the implicit instances of the generic types and the derived subclass relationships. Then, the semantics of a GLIDER specification is a category having the “same structure” as the underlying category of types.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
D. Bert, R. Echahed: Design and implementation of a generic, logic and functional programming language, Proc. ESOP 86, Springer LNCS 213 (1986), 119–132.
M. Broy et al: The Requirement and Design Specification Language Spectrum-An Informal Introduction. Version 1.0. Report 19311. Tech. Univ. Munich. 1993.
□Burstall, R.M.; Goguen, J.A.: “The semantics of Clear, a specification language”, Abstract Software Specification, Springer LNCS 86, pp. 292–332, 1980.
S. Clerici, R.M. Jimenez, F. Orejas, Semantic Constructions in the GLIDER Specification Language. in 'Recent Trends in Data Type Specification, Springer LNCS 785 (1994) pp. 144–157.
□Clerici, S.; Jimenez, R.; Orejas, F.: Final Report on Semantics, Icarus Deliverable Report — D-54, Barcelona 1994.
□Clerici, S.; Orejas, F.: “GSBL: An algebraic specification language based on inheritance” in ECOOP'88 S. Gjessing y K. Nygaard' (eds.), Springer LNCS 322 (1988) pp. 78–92.
□Clerici, S.; Orejas, F.: “The specification language GSBL” in ‘Recent trends in data type specification' Springer LNCS 534, 1991, pp. 31–51.
□Ehrig, H.; Mahr, B.: “Fundamentals of algebraic specification 1”, EATCS Monographs on Theor. Comp. Sc., Springer Verlag, 1985.
J. C. Reynolds: Using category theory to design implicit conversions and generic operators, in N.D. Jones (ed.) 'semantics-Directed Compiler Generation', Springer LNCS 94 (1980) 211–258.
M. Wirsing: Algebraic Specification Languages: An Overview, in Recent Trends in Data Type Specification, E. Astesiano, G. Reggio, A. Tarlecki (eds.), Springer LNCS 906 (1995) 81–115.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clérici, S., Jiménez, R., Orejas, F. (1996). Class-sort polymorphism in GLIDER. In: Haveraaen, M., Owe, O., Dahl, OJ. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1995 1995. Lecture Notes in Computer Science, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61629-2_41
Download citation
DOI: https://doi.org/10.1007/3-540-61629-2_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61629-0
Online ISBN: 978-3-540-70642-7
eBook Packages: Springer Book Archive