A Semantic Definition of Separate Type Checking in C++ with Concepts. Abstract syntax and the complete semantic definition.
Report, 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++
Author
Marcin Zalewski
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Subject Categories
Software Engineering
Computer Science
Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 2008:12