ABS++: Assertion Based Subtyping in C++

9 years 10 months ago
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.
Herbert Toth
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JOT
Authors Herbert Toth
Comments (0)