ABS++ : Assertion Based Subtyping in C++

By: Herbert Toth


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.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact