The object-oriented lollipop: An example of subtyping

Mark Utting; Ken Robinson

Back

The object-oriented lollipop: An example of subtyping

Conference paper

Peer reviewed

The object-oriented lollipop: An example of subtyping

Mark Utting and Ken Robinson

Engineering Safe Software: Proceedings of the Australian Software Engineering Conference 1991, pp.355-368

Australian Software Engineering Conference 1991, 6th (Sydney, Australia, 09-Jul-1991–12-Jul-1991)

Australian Computer Society Inc.

1991

Abstract

Computer Software

computer software

software engineering

In this paper we specify various kinds of shapes, including the lollipop example from [CDD+89], using the object-oriented sub typing relationship defined in (UR91). We advocate that in an object-oriented system, methods should be fully specified at the point that they are declared, not simply declared as a signature.

Details

Title: The object-oriented lollipop: An example of subtyping
Authors: Mark Utting (Author) - University of New South Wales
Ken Robinson (Author) - University of New South Wales
Contributors: Paul A Bailes (Editor)
Publication details: Engineering Safe Software: Proceedings of the Australian Software Engineering Conference 1991, pp.355-368
Conference details: Australian Software Engineering Conference 1991, 6th (Sydney, Australia, 09-Jul-1991–12-Jul-1991)
Publisher: Australian Computer Society Inc.
Date published: 1991
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449392502621
Output Type: Conference paper

Metrics

723 Record Views