The Community for Technology Leaders
RSS Icon
Subscribe
Nanjing, China
Sept. 22, 1999 to Sept. 25, 1999
ISBN: 0-7695-0393-4
pp: 200
Axel Schmolitzky , Monash University
Mark Evered , University of New England
J. Leslie Keedy , University of Ulm
Gisela Menger , University of Ulm
ABSTRACT
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, 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31 1999, pp. 200, doi:10.1109/TOOLS.1999.809426
48 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool