ABS++: Assertion Based Subtyping in C++

For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten years ago, theoretical principles and solution possibilities for assertion annotations in daily practice are being discussed in an ever growing number of papers and web pages. We present a further proposal for C++ that is based on the macro technique, conforms to the LSP, enables quantification, and very much resembles the way Design by ContractTM is implemented in Eiffel.

• Type: Journal
• Year: 2006
• Where: JOT
• Authors: Herbert Toth
• Keywords: Assertion Annotations, Composition Mechanisms, JOT 2006, Software Engineering