D2.5: Semantic specication for libraries
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 contracts. First mechanism Continue reading D2.5: Semantic specication for libraries