Martin Brænne @martinboehme Rosica Dejanovska @scentini Gábor Horváth @Xazax-hun Dmitri Gribenko @gribozavr Luca Versari @veluca93 Summary We are designing, implementing, and evaluating an attribute-based annotation scheme for C++ that describes object…