Subclassing errors, OOP, and practically checkable rules to prevent them

Details Subclassing errors, OOP, and practically checkable rules to prevent them Subclassing errors, OOP, and practically checkable rules to prevent them

2003-01-28

arxiv.org/abs/cs/0301032v1

Proc. "Monterey Workshop 2001: Engineering Automation for Software Intensive System Integration," sponsored by ONR/AFOSR/ARO/D

Computer Science

Programming Languages

10 pages, 1 LaTeX file; accompanying C++ and Haskell code and compilation instructions

Scientific paper

This paper considers an example of Object-Oriented Programming (OOP) leading to subtle errors that break separation of interface and implementations. A comprehensive principle that guards against such errors is undecidable. The paper introduces a set of mechanically verifiable rules that prevent these insidious problems. Although the rules seem restrictive, they are powerful and expressive, as we show on several familiar examples. The rules contradict both the spirit and the letter of the OOP. The present examples as well as available theoretical and experimental results pose a question if OOP is conducive to software development at all.

Affiliated with

Also associated with

No associations

Rating

Subclassing errors, OOP, and practically checkable rules to prevent them does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Subclassing errors, OOP, and practically checkable rules to prevent them, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Subclassing errors, OOP, and practically checkable rules to prevent them will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-317137