Assertions for C++


In this report I describe types of program annotations that could be used in C++ to enhance the testability, assurance, and overall quality of the code being developed. These annotations are formal, processable assertions which capture constraints and speciications which cannot be discerned from the program code itself. I rst describe in some depth previous… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.