Function preconditions in object oriented software

Authors:
Jean Pierre LeJacq
Affiliations:
Paradigm Software, 34 Millstone Drive, Marlborough, CT
Venue:
ACM SIGPLAN Notices
Year:
1991

Citing 6
Cited 1

Dimensions of object-based language design

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
C++ primer

C++ primer
The annotated C++ reference manual

The annotated C++ reference manual
Error handling in large, object-based Ada systems

ACM SIGAda Ada Letters
C++ programming with MacApp

C++ programming with MacApp
Object-Oriented Software Construction

Object-Oriented Software Construction

OOSPEC: an executable object-oriented specification language

CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Functions in nonobject oriented languages are typically designed to minimize any preconditions which must be satisfied before the function can be legally called. In object oriented languages this prescription can reduce the refinement of the function through derivation. A tradeoff must be made between refinement potential, efficiency, and risk of incorrect usage.