ABS++ : Assertion Based Subtyping in C++

Abstract

As the software community has learned during the last two decades, the object-oriented approach is very powerful for developing large software systems. Much of this power is due to the key concept of inheritance. However, the static checks enforced by C++ or Java compilers upon derived classes test for such syntactic and typing restrictions that guarantee the lack of runtime type errors. Obviously, however, this is not enough to prevent surpising and often disastrous behavior of programs.

Cite as:

Herbert Toth, “ABS++ : Assertion Based Subtyping in C++”, Journal of Object Technology, Volume 5, no. 6 (July 2006), pp. 83-105, doi:10.5381/jot.2006.5.6.a3.