A Semantic Definition of Separate Type Checking in C++ with Concepts. Abstract syntax and the complete semantic definition.
Rapport, 2008
This document describes the syntax and the semantics of a simplified version of the recently proposed concept sublanguage of C++.
concepts
generic programming
formalization
C++
Författare
Marcin Zalewski
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2008:12