How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Axel Schmolitzky Articles by Mark Evered Articles by J. Leslie Keedy Articles by Gisela Menger

32nd International Conference on Technology of Object-Oriented Languages

How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?

Melbourne, Australia

November 22-November 25

ISBN: 0-7695-0462-0

	ASCII Text	x
	Axel Schmolitzky, Mark Evered, J. Leslie Keedy, Gisela Menger, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?," Technology of Object-Oriented Languages, International Conference on, pp. 200, 32nd International Conference on Technology of Object-Oriented Languages, 1999.

	BibTex	x
	@article{ 10.1109/TOOLS.1999.809426, author = {Axel Schmolitzky and Mark Evered and J. Leslie Keedy and Gisela Menger}, title = {How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1999}, issn = {1530-2067}, pages = {200}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809426}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? SN - 1530-2067 SP EP A1 - Axel Schmolitzky, A1 - Mark Evered, A1 - J. Leslie Keedy, A1 - Gisela Menger, PY - 1999 KW - language design KW - binary methods KW - pragmatical class methods KW - covariance KW - static type safety VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -

Axel Schmolitzky, Monash University

Mark Evered, University of New England

J. Leslie Keedy, University of Ulm

Gisela Menger, University of Ulm

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.809426

Binary class methods are often more suitable for modeling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this paper we discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to identify the difference at compile-time.

Index Terms:

language design, binary methods, pragmatical class methods, covariance, static type safety

Citation:

Axel Schmolitzky, Mark Evered, J. Leslie Keedy, Gisela Menger, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?," tools, pp.200, 32nd International Conference on Technology of Object-Oriented Languages, 1999

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.