This document describes the deliverable D2.5 named Semantic specication for libraries. In
document we present dierent mechanisms for specifying the semantic properties of libraries in
generic terms. We explore two dierent alternative specications: axiom based and compiletime
First mechanism is based on a new C++ feature named concepts used as template
constraints, that allows using of predicates to constrain template arguments.
The second mechanism is based on a custom set of C++ attributes annotated in the
These sets of techniques for semantically specifying libraries allows improving the specication
for better optimizations.