article · 1996
TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES
Kathleen Shanahan Fisher, John C. Mitchell
Cited by 0Abstract and details only
Abstract
Object-oriented programming languages (oopl's) provide important support for today's large-scale software development projects. Unfortunately, the typing issues arising from the object-oriented features that provide this support are substantially different from those that arise in typing procedural languages. Attempts to adapt procedural type systems to object-oriented languages have resulted in languages like Simula, C++ , and Object Pascal, which have overly restrictive type systems. Among other things, the rigidity of these systems frequently force programmers to use type casts, which are a notorious source of hard-to-find bugs. These restrictive type systems also mean that many programming idioms common to untyped oopl's such as Smalltalk are not typeable. One source of this lack of flexibility is the conflation of subtyping and inheritance. Briefly, inheritance is an implementation technique in which new object definitions may be given as incremental modifications to existing defi...
Cite this paper
Fisher, K. S., & Mitchell, J. C. (1996). TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES.
Fisher, Kathleen Shanahan, and John C. Mitchell. “TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES.” 1996.
Fisher, Kathleen Shanahan, and John C. Mitchell. 1996. “TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES.”
Fisher, K.S. and Mitchell, J.C. (1996) ‘TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES’.
@article{fisher1996type,
title = {{TYPE SYSTEMS FOR OBJECT-ORIENTED PROGRAMMING LANGUAGES}},
author = {Fisher, Kathleen Shanahan and Mitchell, John C.},
year = {1996}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.